scholarly journals Coverage Criteria for Model-Based Testing using Property Patterns

2014 ◽  
Vol 141 ◽  
pp. 29-43 ◽  
Author(s):  
Kalou Cabrera Castillos ◽  
Frédéric Dadeau ◽  
Jacques Julliand
Keyword(s):  
Coverage Criteria ◽  
Model Based ◽  
Model Based Testing ◽  
Property Patterns

scholarly journals Temporal property patterns for model-based testing from UML/OCL

2017 ◽  
Vol 18 (2) ◽  
pp. 865-888 ◽  
Author(s):  
Frédéric Dadeau ◽  
Elizabeta Fourneret ◽  
Abir Bouchelaghem
Keyword(s):  
Temporal Property ◽  
Model Based ◽  
Model Based Testing ◽  
Property Patterns

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

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