Publication at USE 2015
The first publication has been accepted at USE’15. Bernhard K. Aichernig and Martin Tappler: “Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing”, In Usages of Symbolic Execution – 1st International Workshop in conjunction with FM 2015, USE’15, Oslo, Norway, June 23, 2015. Proceedings, Electr. Notes …