Publication at MBT 2012

The first publication within TRUFAL has been accepted at MBT 2012:

Bernhard K. Aichernig, Elisabeth J√∂bstl: “Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking”. In Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012), Tallinn, Estonia, 25.03.2012, pages 88-102, EPTCS 80, 2012 [PDF]

The seventh Workshop on Model-Based Testing (MBT 2012) is a satellite workshop of ETAPS and will be held in Tallinn, Estonia on March, 25th 2012.