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

B. K. Aichernig and M. Tappler

Abstract:

Reference: B. K. Aichernig and M. Tappler. Symbolic input-output conformance checking for model-based mutation testing. In Usages of Symbolic Execution - 1^st International Workshop in conjunction with FM 2015, USE'15, Oslo, Norway, June 23, 2015. In press.