Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.80.7 ◽

2012 ◽

Vol 80 ◽

pp. 88-102 ◽

Cited By ~ 6

Author(s):

Bernhard K. Aichernig ◽

Elisabeth Jöbstl

Keyword(s):

Mutation Testing ◽

Symbolic Model ◽

Model Based ◽

Refinement Checking

Download Full-text

Model-based mutation testing via symbolic refinement checking

Science of Computer Programming ◽

10.1016/j.scico.2014.05.004 ◽

2015 ◽

Vol 97 ◽

pp. 383-404 ◽

Cited By ~ 23

Author(s):

Bernhard K. Aichernig ◽

Elisabeth Jöbstl ◽

Stefan Tiran

Keyword(s):

Mutation Testing ◽

Model Based ◽

Refinement Checking

Download Full-text

Efficient Refinement Checking for Model-Based Mutation Testing

2012 12th International Conference on Quality Software ◽

10.1109/qsic.2012.58 ◽

2012 ◽

Cited By ~ 8

Author(s):

Bernhard K. Aichernig ◽

Elisabeth Jobstl

Keyword(s):

Mutation Testing ◽

Model Based ◽

Refinement Checking

Download Full-text

Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints

2012 IEEE Fifth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2012.169 ◽

2012 ◽

Cited By ~ 7

Author(s):

Bernhard K. Aichernig ◽

Elisabeth Jobstl

Keyword(s):

Mutation Testing ◽

Symbolic Model ◽

Model Based

Download Full-text

Model-based mutation testing—Approach and case studies

Science of Computer Programming ◽

10.1016/j.scico.2016.01.003 ◽

2016 ◽

Vol 120 ◽

pp. 25-48 ◽

Cited By ~ 23

Author(s):

Fevzi Belli ◽

Christof J. Budnik ◽

Axel Hollmann ◽

Tugkan Tuglular ◽

W. Eric Wong

Keyword(s):

Case Studies ◽

Mutation Testing ◽

Model Based ◽

Testing Approach

Download Full-text

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2016.01.002 ◽

2016 ◽

Vol 320 ◽

pp. 3-19 ◽

Cited By ~ 5

Author(s):

Bernhard K. Aichernig ◽

Martin Tappler

Keyword(s):

Mutation Testing ◽

Input Output ◽

Conformance Checking ◽

Model Based

Download Full-text

A generic and symbolic model-based diagnostic reasoner with highly scalable properties

SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218) ◽

10.1109/icsmc.1998.726487 ◽

2002 ◽

Cited By ~ 1

Author(s):

A. Misra ◽

G. Provan ◽

G. Karsai ◽

G. Bloor ◽

E. Scarl

Keyword(s):

Symbolic Model ◽

Model Based

Download Full-text

Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation

10.1109/iv48863.2021.9575528 ◽

2021 ◽

Author(s):

Boutheina Bannour ◽

Julien Niol ◽

Paolo Crisafulli

Keyword(s):

Autonomous Vehicles ◽

Symbolic Model ◽

Model Based

Download Full-text

Symbolic Model-Based Testing for Industrial Automation Software

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03077-7_6 ◽

2013 ◽

pp. 78-94 ◽

Cited By ~ 2

Author(s):

Sabrina von Styp ◽

Liyong Yu

Keyword(s):

Industrial Automation ◽

Symbolic Model ◽

Model Based ◽

Model Based Testing

Download Full-text

Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development

Proceedings of the 8th International Joint Conference on Software Technologies ◽

10.5220/0004592002510257 ◽

2013 ◽

Keyword(s):

Fault Injection ◽

Mutation Testing ◽

Verification And Validation ◽

Iso 26262 ◽

Model Based

Download Full-text

Event-driven web application testing based on model-based mutation testing

Information and Software Technology ◽

10.1016/j.infsof.2015.07.003 ◽

2015 ◽

Vol 67 ◽

pp. 159-179 ◽

Cited By ~ 2

Author(s):

Elahe Habibi ◽

Seyed-Hassan Mirian-Hosseinabadi

Keyword(s):

Web Application ◽

Mutation Testing ◽

Model Based ◽

Web Application Testing ◽

Event Driven

Download Full-text