Publication at CSTVA 2012

Another paper resulting from the work done in TRUFAL has been accepted for publication:

Bernhard K. Aichernig, Elisabeth J√∂bstl: “Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints”. In Workshops Proceedings of the 5th International Conference on Software Testing, Verification and Validation (ICST 2012), Montreal, Canada, 17.04.2012 – 21.04.2012, pages 752-757, IEEE Computer Society, 2012 [PDF]

The paper will be presented at the Fourth Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012), which will be held in Montreal, Canada on April, 21st 2012. CSTVA 2012 is co-located with the Fifth International Conference on Software Testing, Verification and Validation (ICST 2012).