Dissertation within TRUFAL

Elisabeth Jöbstl finished her dissertation, which was conducted within the TRUFAL project:

Elisabeth Jöbstl: “Model-Based Mutation Testing with Constraint and SMT Solvers”. Graz University of Technology, Institute for Software Technology, 2014 [PDF]

The thesis has been supervised by Bernhard Aichernig from TU Graz. The defence took place at May 19th 2014.

Advertisements

Publication at FORMATS 2013

Again, a TRUFAL paper has been accepted for publication:

Willibald Krenn, Dejan Nickovic, Loredana Tec: “Incremental Language Inclusion Checking for Networks of Timed Automata”. In Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Buenos Aires, Argentina, 29.-31.08.2013, LNCS 8053, pages 152-167, Springer, 2013 [PDF]

Abstract:
Checking the language inclusion between two models is a fundamental problem arising in application areas such as formal verification or
refinement in top- down design. We propose an incremental procedure for checking the language inclusion between two real-time specifications, modeled as networks of
deterministic timed automata, where the two specifications are equivalent up to one component. For such classes of systems we aim to improve the efficiency of the language inclusion check by exploiting the compositional nature of the problem and avoiding the explicit parallel composition of the timed automata in the network. We first develop a generic procedure that gives freedom to specific implementation choices. We then propose an instantiation of the procedure that is based on bounded model checking techniques. We illustrate the application of our approach in a case study and discuss promising experimental results.

The paper will be presented at the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), which will be held in Buenos Aires, Argentina from August, 29th to August 31st 2013.

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.

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.

Technical Report

Graz University of Technology created the following technical report on their lastest research results:

Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele: “Incremental Refinement Checking for Test Case Generation”. Graz University of Technology – Institute for Software Technology, no. IST-MBT-2013-01, January 2013 [PDF]

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%.

Publication at CSTVA 2012

Another paper resulting from the work done in TRUFAL has been accepted for publication:

Bernhard K. Aichernig, Elisabeth Jöbstl: “Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints”. In Workshops Proceedings of the 5th International Conference on Software Testing, Verification and Validation (ICST 2012), Montreal, Canada, 17.04.2012 – 21.04.2012, pages 752-757, IEEE Computer Society, 2012 [PDF]

The paper will be presented at the Fourth Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012), which will be held in Montreal, Canada on April, 21st 2012. CSTVA 2012 is co-located with the Fifth International Conference on Software Testing, Verification and Validation (ICST 2012).