Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT

2020 ◽  
pp. 35-51
Author(s):  
Bernhard K. Aichernig ◽  
Christian Burghard
Keyword(s):  
Formal Semantics ◽  
Model Based ◽  
Model Based Testing ◽  
Max Sat

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