Second TRUFAL Publication at TAP 2013

At TAP 2013, two TRUFAL papers have been accepted for publication. The second is:

Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic: “Time for Mutants – Model-based Mutation Testing with Timed Automata”. In Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013), Budapest, Hungary, 18.-19.06.2013, LNCS 7942, pages 20-38, Springer, 2013 [PDF]

Model-based testing is a popular technology for automatic and systematic test case generation (TCG), where a system-under-test (SUT) is tested for conformance with a model that specifies its intended behavior. Model-based mutation testing is a specific variant of model-based testing that is fault-oriented. In mutation testing, the test case generation is guided by a mutant, an intentionally altered version of the original model that specifies a common modeling error.

In this paper, we propose a mutation testing framework for real-time applications, where the model of the SUT and its mutants are expressed as a variant of timed automata. We develop an algorithm for mutation-based real-time test case generation that uses symbolic bounded model checking techniques and incremental solving. We present an implementation of our test case generation technique and illustrate it with a non-trivial car alarm example, providing experimental results.

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


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s