Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor

2016 ◽  
pp. 69-84 ◽  
Author(s):  
Hanno Becker ◽  
Juan Manuel Crespo ◽  
Jacek Galowicz ◽  
Ulrich Hensel ◽  
Yoichi Hirai ◽  
...  
Keyword(s):  
Formal Analysis ◽  
Model Based ◽  
Model Based Testing

Model-Based Testing for Web Applications

2011 ◽  
Vol 34 (6) ◽  
pp. 1012-1028 ◽  
Author(s):  
Huai-Kou MIAO ◽  
Sheng-Bo CHEN ◽  
Hong-Wei ZENG
Keyword(s):  
Web Applications ◽  
Model Based ◽  
Model Based Testing

Model-based testing of software product lines: Mapping study and research roadmap

2020 ◽  
Vol 167 ◽  
pp. 110608
Author(s):  
Kleber L. Petry ◽  
Edson OliveiraJr ◽  
Avelino F. Zorzo
Keyword(s):  
Software Product Lines ◽  
Mapping Study ◽  
Product Lines ◽  
Model Based ◽  
Model Based Testing ◽  
Software Product

Applying model-based testing to healthcare products

2008 ◽  
Author(s):  
Marlon Vieira ◽  
Xiping Song ◽  
Gilberto Matos ◽  
Stephan Storck ◽  
Rajanikanth Tanikella ◽  
...  
Keyword(s):  
Model Based ◽  
Model Based Testing

scholarly journals Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets

2015 ◽  
Vol 64 (9) ◽  
pp. 2490-2505 ◽  
Author(s):  
Dianxiang Xu ◽  
Michael Kent ◽  
Lijo Thomas ◽  
Tejeddine Mouelhi ◽  
Yves Le Traon
Keyword(s):  
Access Control ◽  
Role Based Access Control ◽  
Model Based ◽  
Model Based Testing ◽  
Role Based
Sign in / Sign up

Export Citation Format

Share Document