@inproceedings{icst2015tool,
author = {Bernhard K. Aichernig and Harald Brandl and Elisabeth J{\"o}bstl and Willibald Krenn and Rupert Schlick and Stefan Tiran},
title = {{{MoMuT::UML - model-based mutation testing for UML}}},
booktitle = {IEEE 8\textsuperscript{th} Int. Conf. on Software Testing, Verification and Validation, ICST 2015},
year = {2015},
doi = {10.1109/ICST.2015.7102627},
publisher = {IEEE Computer Society},
abstract = {Model-based mutation testing (MBMT) is a promising testing methodology that relies on a model of the system under test (SUT) to create test cases. Hence, MBMT is a so-called black-box testing approach. It also is fault based, as it creates test cases that are guaranteed to reveal certain faults: after inserting a fault into the model of the SUT, it looks for a test
case revealing this fault. This turns MBMT into one of the most powerful and versatile test case generation approaches available
as its tests are able to demonstrate the absence of certain faults, can achieve both, control-flow and data-flow coverage of model
elements, and also may include information about the behaviour in the failure case. The latter becomes handy whenever the test
execution framework is bound in the number of observations it can make and - as a consequence - has to restrict them. However,
this versatility comes at a price: MBMT is computationally expensive. The tool MoMuT::UML1 is the result of a multi-year
research effort to bring MBMT from the academic drawing board to industrial use. In this paper we present the current stable
version, share the lessons learnt when applying two generations of MoMuT::UML in an industrial setting, and give an outlook
on the upcoming, third, generation.},
url = {http://www.ist.tugraz.at/aichernig/publications/papers/icst15-tools.pdf},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Aichernig2015,
author = {Bernhard K. Aichernig and Elisabeth J{\"o}bstl and Stefan Tiran},
title = {{{Model-based mutation testing via symbolic refinement checking}}},
journal = {Science of Computer Programming},
volume = {97, Part 4},
number = {0},
pages = {383--404},
year = {2015},
note = {Special Issue: Selected Papers from the 12th International Conference on Quality Software (QSIC 2012)},
issn = {0167-6423},
doi = {10.1016/j.scico.2014.05.004},
publisher = {Elsevier},
abstract = {In model-based mutation testing, a test model is mutated for test case generation. The resulting test cases are able to detect whether the faults in the mutated models have been implemented in the system under test. For this purpose, a conformance check between the original and the mutated model is required. The generated counterexamples serve as basis for the test cases. Unfortunately, conformance checking is a hard problem and requires sophisticated verification techniques. Previous attempts using an explicit conformance checker suffered state space explosion. In this paper, we present several optimisations of a symbolic conformance checker using constraint solving techniques. The tool efficiently checks the refinement between non-deterministic test models. Compared to previous implementations, we could reduce our runtimes by 97\%. In a new industrial case study, our optimisations can reduce the runtime from over 6 hours to less than 3 minutes},
originalfile = {/formal_methods/formal_methods.bib}
}
@phdthesis{joebstl2014,
author = {Elisabeth J{\"o}bstl},
title = {{{Model-Based Mutation Testing with Constraint and {SMT} Solvers}}},
school = {Graz University of Technology, Institute for Software Technology},
year = {2014},
url = {https://online.tugraz.at/tug_online/voe_main2.getVollText?pDocumentNr=724320&pCurrPk=78527},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{tap2014,
author = {Bernhard K. Aichernig and Jakob Auer and
Elisabeth J{\"o}bstl and Robert Koro\v{s}ec and
Willibald Krenn and Rupert Schlick and Birgit Vera Schmidt},
title = {{{Model-Based Mutation Testing of an Industrial Measurement Device}}},
booktitle = {TAP},
year = {2014},
volume = {8570},
series = {LNCS},
pages = {1--9},
publisher = {Springer},
url = {http://www.ist.tugraz.at/aichernig/publications/papers/tap14.pdf},
originalfile = {/formal_methods/formal_methods.bib}
}
@incollection{Aichernig2013a,
year = {2013},
isbn = {978-3-642-38915-3},
booktitle = {Tests and Proofs},
volume = {7942},
series = {Lecture Notes in Computer Science},
editor = {Veanes, Margus and Vigan{\`o}, Luca},
doi = {10.1007/978-3-642-38916-0_1},
title = {{{Incremental Refinement Checking for Test Case Generation}}},
publisher = {Springer Berlin Heidelberg},
keywords = {model-based testing; mutation testing; action systems; conformance; refinement; constraint solving; SMT solving},
author = {Aichernig, Bernhard K. and J{\"o}bstl, Elisabeth and Kegele, Matthias},
pages = {1--19},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2011,
author = {Bernhard K. Aichernig and Harald Brandl and Elisabeth J{\"o}bstl
and Willibald Krenn},
title = {{{Efficient Mutation Killers in Action}}},
booktitle = {IEEE 4\textsuperscript{th} Int. Conf. on Software Testing, Verification
and Validation, ICST 2011},
year = {2011},
pages = {120--129},
publisher = {IEEE Computer Society},
doi = {10.1109/ICST.2011.57},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2010,
author = {Bernhard K. Aichernig and Harald Brandl and Elisabeth J{\"o}bstl
and Willibald Krenn},
title = {{{{UML} in Action: A Two-Layered Interpretation for Testing}}},
booktitle = {3rd IEEE International Workshop on UML and Formal Methods (UML\&FM
2010)},
year = {2010},
series = {ACM Software Engineering Notes (SEN)},
pages = {1--8},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{AichernigBJK2010FMCO,
author = {Bernhard K. Aichernig and Harald Brandl and Elisabeth J{\"o}bstl and
Willibald Krenn},
title = {{{Model-based Mutation Testing of Hybrid Systems}}},
booktitle = {Formal Methods for Components and Objects - 8\textsuperscript{th} International
Symposium, FMCO 2009, Eindhoven, The Netherlands, November
4-6, 2009. Revised Selected Papers},
year = {2010},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
volume = 6286,
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
pages = {228--249},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Aichernig2014,
author = {Bernhard K. Aichernig and Harald Brandl and Elisabeth J{\"o}bstl
and Willibald Krenn and Rupert Schlick and Stefan Tiran},
title = {{{Killing strategies for model-based mutation testing}}},
journal = {Software Testing, Verification and Reliability},
year = {2015},
pages = {716--748},
volume = {25},
number = {8},
abstract = {This article presents the techniques and results of a novel model-based
test case generation approach that automatically derives test cases
from UML state machines. The main contribution of this article is
the fully automated fault-based test case generation technique together
with two empirical case studies derived from industrial use cases.
Also, an in-depth evaluation of different fault-based test case generation
strategies on each of the case studies is given and a comparison
with plain random testing is conducted. The test case generation
methodology supports a wide range of UML constructs and is grounded
on the formal semantics of Back's action systems and the well-known
input-output conformance relation. Mutation operators are employed
on the level of the specification to insert faults and generate test
cases that will reveal the faults inserted. The effectiveness of
this approach is shown and it is discussed how to gain a more expressive
test suite by combining cheap but undirected random test case generation
with the more expensive but directed mutation-based technique. Finally,
an extensive and critical discussion of the lessons learnt is given
as well as a future outlook on the general usefulness and practicability
of mutation-based test case generation. Copyright (c) 2014 John Wiley
& Sons, Ltd.},
doi = {10.1002/stvr.1522},
issn = {1099-1689},
keywords = {test case generation, model-based testing, mutation testing, random
testing, ioco, action systems, Unified Modeling Language, UML},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2012c,
author = {Bernhard K. Aichernig and Elisabeth J{\"o}bstl},
title = {{{Towards Symbolic Model-Based Mutation Testing: Combining Reachability
and Refinement Checking}}},
booktitle = {7th Workshop on Model-Based Testing (MBT 2012)},
year = {2012},
volume = {80},
series = {EPTCS},
pages = {88--102},
doi = {10.4204/EPTCS.80.7},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2012d,
author = {Bernhard K. Aichernig and Elisabeth J{\"o}bstl},
title = {{{Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing
Semantics as Constraints}}},
booktitle = {Workshops Proc. of the IEEE 5\textsuperscript{th} Int. Conf. on Software
Testing, Verification and Validation (ICST 2012)},
year = {2012},
pages = {752--757},
doi = {10.1109/ICST.2012.169},
isbn = {978-0-7695-4670-4},
publisher = {IEEE Computer Society},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Jobstl2010,
author = {Elisabeth J{\"o}bstl and Martin Weiglhofer and Bernhard K. Aichernig
and Franz Wotawa},
title = {{{When {BDD}s Fail: Conformance Testing with Symbolic Execution and
{SMT} Solving}}},
booktitle = {IEEE 3\textsuperscript{rd} Int. Conf. on Software Testing, Verification
and Validation (ICST 2010)},
year = {2010},
pages = {479--488},
publisher = {IEEE Computer Society},
doi = {10.1109/ICST.2010.48},
isbn = {978-0-7695-3990-4},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Schlick2011,
author = {Rupert Schlick and Wolfgang Herzner and Elisabeth J{\"o}bstl},
title = {{{Fault-Based Generation of Test Cases from {UML}-Models - Approach
and Some Experiences}}},
booktitle = {30th Int. Conf. on Computer Safety, Reliability, and Security (SAFECOMP
2011)},
year = {2011},
volume = {6894},
series = {LNCS},
pages = {270--283},
publisher = {Springer},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
This file was generated by bibtex2html 1.98.