Publication at TAP 2013

Another TRUFAL paper has been accepted for publication:

Bernhard K. Aichernig, Elisabeth J√∂bstl, Matthias Kegele: “Incremental Refinement Checking for Test Case Generation”. In Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013), Budapest, Hungary, 18.-19.06.2013, LNCS 7942, pages 1-19, Springer, 2013 [PDF]

The paper will be presented at the 7th International Conference on Tests and Proofs (TAP 2013), which will be held in Budapest, Hungary from June, 18th/19th 2013.