Test generation from state based use case models
We present a strategy for the automatic generation of test cases from parametrised use case
templates that capture control flow, state, input and output. Our approach allows test …
templates that capture control flow, state, input and output. Our approach allows test …
Model-based mutation testing of an industrial measurement device
BK Aichernig, J Auer, E Jöbstl, R Korošec… - Tests and Proofs: 8th …, 2014 - Springer
MoMuT:: UML is a model-based mutation testing tool for UML models. It maps UML state
machines to a formal semantics and performs a conformance check between an original and …
machines to a formal semantics and performs a conformance check between an original and …
[HTML][HTML] Model-based mutation testing via symbolic refinement checking
BK Aichernig, E Jöbstl, S Tiran - Science of Computer Programming, 2015 - Elsevier
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 …
resulting test cases are able to detect whether the faults in the mutated models have been …
Testing for refinement in Circus
A Cavalcanti, MC Gaudel - Acta Informatica, 2011 - Springer
Circus combines constructs to define complex data operations and interactions; it integrates
Z and CSP, and, distinctively, it is a language for refinement that can describe programs as …
Z and CSP, and, distinctively, it is a language for refinement that can describe programs as …
[图书][B] Testing techniques in software engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 …
The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series
of events devoted to the study of advanced computer science and to the promotion of …
of events devoted to the study of advanced computer science and to the promotion of …
Incremental refinement checking for test case generation
BK Aichernig, E Jöbstl, M Kegele - … TAP 2013, Budapest, Hungary, June 16 …, 2013 - Springer
We combine model-based testing and mutation testing to automatically generate a test suite
that achieves a high mutation adequacy score. The original model representing the system …
that achieves a high mutation adequacy score. The original model representing the system …
[PDF][PDF] IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics
IV IRE Page 1 IV IRE IVOIRE - Deliverable D 1.1 May 13, 2022 Version 1.2.0 Sebastian Stock,
Fabian Vu, Atif Mashkoor, Michael Leuschel, Alexander Egyed arXiv:2205.06138v1 [cs.LO] 12 …
Fabian Vu, Atif Mashkoor, Michael Leuschel, Alexander Egyed arXiv:2205.06138v1 [cs.LO] 12 …
Verifiable coverage criteria for automated testing
S Baranov, V Kotlyarov, T Weigert - … SDL Forum Toulouse, France, July 5 …, 2012 - Springer
A key question for system testing of a software product is how to determine that the
semantics of its requirements is adequately realized in the given implementation, or …
semantics of its requirements is adequately realized in the given implementation, or …
A formal abstract framework for modelling and testing complex software systems
M Aiguier, F Boulanger, B Kanso - Theoretical Computer Science, 2012 - Elsevier
The contribution of this paper is twofold: first, it defines a unified framework for modelling
abstract components, as well as a formalization of integration rules to combine their …
abstract components, as well as a formalization of integration rules to combine their …
The Circus Testing Theory Revisited in Isabelle/HOL
Formal specifications provide strong bases for testing and bring powerful techniques and
technologies. Expressive formal specification languages combine large data domain and …
technologies. Expressive formal specification languages combine large data domain and …