scholarly journals Model-Based Mutation Testing Using Pushdown Automata

2012 ◽  
Vol E95.D (9) ◽  
pp. 2211-2218 ◽  
Author(s):  
Fevzi BELLI ◽  
Mutlu BEYAZIT ◽  
Tomohiko TAKAGI ◽  
Zengo FURUKAWA
Keyword(s):  
Mutation Testing ◽  
Model Based ◽  
Pushdown Automata

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

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

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
Sign in / Sign up

Export Citation Format

Share Document