Publication at QSIC 2012

The third TRUFAL paper has been accepted for publication:

Bernhard K. Aichernig, Elisabeth J√∂bstl: “Efficient Refinement Checking for Model-Based Mutation Testing”. In Proceedings of the 12th International Conference on Quality Software (QSIC 2012), Xi’an, China, 27. – 29.08.2012, pages 21-30, IEEE Computer Society, 2012 [PDF]

The 12th International Conference on Quality Software (QSIC 2012) will take place in Xi’an, China from August, 27th to August, 29th 2012. We are proud to be among the 13 accepted full papers as there was active competition. The acceptance rate was 17.6%.