scholarly journals Mars Polar Lander fault identification using model-based testing

2003 ◽  
Author(s):  
M. Blackburn ◽  
R. Busser ◽  
A. Nauman ◽  
R. Knickerbocker ◽  
R. Kasuda
Keyword(s):  
Fault Identification ◽  
Model Based ◽  
Model Based Testing

scholarly journals Mars Polar Lander fault identification using model-based testing

2002 ◽  
Author(s):  
M. Blackburn ◽  
R. Busser ◽  
A. Nauman ◽  
R. Knickerbocker ◽  
R. Kasuda
Keyword(s):  
Fault Identification ◽  
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