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.

Data Sheet (Flyer)

Hi all,

here you can find our current data sheet (also referred to as “TRUFAL flyer”): TRUFAL-Datasheet

Wolfgang Herzner (project coordinator)