Mutation Testing Author

Name: Franz Wotawa
Affiliation: Graz University of Technology
1Ingo Pill and Ivan Rubil and Franz Wotawa and Mihai Nica
{SIMULTATE:} {A} Toolset for Fault Injection and Mutation Testing of Simulink Models
Ninth {IEEE} International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA, April 11-15, 2016, 2016.
BibTeX | Abstract | PDF | DOI
2Rui Abreu and Birgit Hofer and Alexandre Perez and Franz Wotawa
Using constraints to diagnose faulty spreadsheets
Software Quality Journal, 23(2), 2015.
BibTeX | Abstract | PDF | DOI
3Franz Wotawa and Mihai Nica and Bernhard K. Aichernig
Generating Distinguishing Tests Using the Minion Constraint Solver
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010.
BibTeX | Abstract | PDF | DOI
4Gordon Fraser and Franz Wotawa
Complementary Criteria for Testing Temporal Logic Properties
Proceedings of the 3rd International Conferenc eon Tests And Proofs (TAP'09)Zurich, Switzerland, 02-03 June 2009.
BibTeX | Abstract | URL
5Gordon Fraser and Franz Wotawa
Using model-checkers to generate and analyze property relevant test-cases
Software Quality Journal, 16(2), 2008.
BibTeX | Abstract | PDF | DOI
6Gordon Fraser and Franz Wotawa
Mutant Minimization for Model-Checker Based Test-Case Generation
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007.
BibTeX | Abstract | URL