Killing strategies for model-based mutation testing

2014 ◽  
Vol 25 (8) ◽  
pp. 716-748 ◽  
Author(s):  
Bernhard K. Aichernig ◽  
Harald Brandl ◽  
Elisabeth Jöbstl ◽  
Willibald Krenn ◽  
Rupert Schlick ◽  
...  
Keyword(s):  
Mutation Testing ◽  
Model Based

scholarly journals Model-based mutation testing via symbolic refinement checking

2015 ◽  
Vol 97 ◽  
pp. 383-404 ◽  
Author(s):  
Bernhard K. Aichernig ◽  
Elisabeth Jöbstl ◽  
Stefan Tiran
Keyword(s):  
Mutation Testing ◽  
Model Based ◽  
Refinement Checking

scholarly journals Model-based mutation testing—Approach and case studies

2016 ◽  
Vol 120 ◽  
pp. 25-48 ◽  
Author(s):  
Fevzi Belli ◽  
Christof J. Budnik ◽  
Axel Hollmann ◽  
Tugkan Tuglular ◽  
W. Eric Wong
Keyword(s):  
Case Studies ◽  
Mutation Testing ◽  
Model Based ◽  
Testing Approach

Model-Based Mutation Testing of Hybrid Systems

2010 ◽  
pp. 228-249 ◽  
Author(s):  
Bernhard K. Aichernig ◽  
Harald Brandl ◽  
Elisabeth Jöbstl ◽  
Willibald Krenn
Keyword(s):  
Hybrid Systems ◽  
Mutation Testing ◽  
Model Based

Model-based mutation testing from security protocols in HLPSL

2014 ◽  
Vol 25 (5-7) ◽  
pp. 684-711 ◽  
Author(s):  
Frédéric Dadeau ◽  
Pierre-Cyrille Héam ◽  
Rafik Kheddam ◽  
Ghazi Maatoug ◽  
Michael Rusinowitch
Keyword(s):  
Security Protocols ◽  
Mutation Testing ◽  
Model Based
Sign in / Sign up

Export Citation Format

Share Document