@incollection{formats2015,
year = {2015},
isbn = {978-3-319-22974-4},
booktitle = {Formal Modeling and Analysis of Timed Systems},
volume = {9268},
series = {Lecture Notes in Computer Science},
editor = {Sankaranarayanan, Sriram and Vicario, Enrico},
doi = {10.1007/978-3-319-22975-1_19},
title = {{{Bounded Determinization of Timed Automata with Silent Transitions}}},
publisher = {Springer},
author = {Lorber, Florian and Rosenmann, Amnon and Ni\v{c}kovi\'{c}, Dejan and Aichernig, Bernhard K.},
pages = {288--304},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{use2015,
author = {Bernhard K. Aichernig and Martin Tappler},
title = {{"Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing"}},
note = {In press.},
year = {2015},
booktitle = {Usages of Symbolic Execution - 1\textsuperscript{st} International Workshop in conjunction with FM 2015, USE'15, Oslo, Norway, June 23},
url = {http://truconf.ist.tugraz.at/wp-content/uploads/2015/06/USE_15_Aichernig_Tappler.pdf},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{tap2015,
series = {Lecture Notes in Computer Science},
pages = {1--18},
volume = {9154},
publisher = {Springer},
booktitle = {TAP'15},
title = {{"Scalable Incremental Test-case Generation from Large Behavior Models"}},
author = {Bernhard K. Aichernig and Dejan Ni\v{c}kovi\'{c} and Stefan Tiran},
note = {In press.},
year = {2015},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{fmics,
series = {Lecture Notes in Computer Science},
pages = {113--127},
volume = {9128},
publisher = {Springer},
booktitle = {FMICS'15},
title = {{"Require, Test and Trace IT"}},
author = {Bernhard K. Aichernig and Klaus H{\"o}rmaier and Florian Lorber and Dejan Ni\v{c}kovi\'{c} and Stefan Tiran},
note = {In press.},
year = {2015},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{icst2015amost,
author = {Bernhard K. Aichernig and Florian Lorber},
title = {{{Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata}}},
booktitle = {Proceedings of the 11th Workshop on Advances in Model Based Testing, A-MOST 2015, co-located with ICST 2015},
year = {2015},
publisher = {IEEE Computer Society},
url = {http://msdl.cs.mcgill.ca/conferences/amost/files/A-MOST_2015_submission_9.pdf},
abstract = {The well-defined timed semantics of timed automata as specification models provide huge advantages for the verification
and validation of real-time systems. Thus, timed automata have already been applied in many different areas, including
model-based testing. Unfortunately, there is one drawback in using timed automata for test-case generation: if they contain
non-determinism or silent transitions, the problem of language inclusion between timed automata becomes undecidable. In recent
work, we developed and implemented a technique to determinize timed automata up to a certain depth k. The resulting timed
automata are unfolded to directed acyclic graphs (DAGs) up to depth k. The unfolding caused an exponential state-space
explosion. Consequently, our model-based test-case generation algorithm for deterministic timed automata, which uses language
inclusion, did not scale anymore.
Within this paper we investigate how to split the determinized
DAGs into partial models, to overcome the problems caused by the increased state space and find effective ways to use the
deterministic DAGs for model-based test case generation.},
originalfile = {/formal_methods/formal_methods.bib}
}
@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}
}
@inproceedings{qsic2014oslc,
author = {Bernhard K. Aichernig and Klaus H{\"o}rmaier and Florian Lorber and Dejan Ni\v{c}kovi\'{c} and Rupert Schlick and Didier Simoneau and Stefan Tiran},
title = {{{Integration of Requirements Engineering and Test-Case Generation via {OSLC}}}},
booktitle = {QSIC '14: Proceedings of the 2014 14\textsuperscript{th} International Conference on Quality Software},
year = {2014},
pages = {117--126},
address = {Dallas, USA},
publisher = {IEEE Computer Society},
doi = {10.1109/QSIC.2014.13},
abstract = {We present a requirement-centered analysis and testing framework that integrates methods and tools for capturing and formalizing textual customer requirements, analyzing
requirements consistency, generating test cases from formalized requirements and executing them on the implementation model. The framework preserves a fine grained traceability of informal and formal requirements, test cases and implementation models throughout every step of the workflow. We instantiate the framework with concrete tools that we
integrate via a file repository and Open Services for Lifecycle Collaboration (OSLC). The standardized integration ensures that
the framework remains generic - any specific tool used in our instantiation can be replaced by another one with compatible
functionality. We apply our framework on an industrial airbag control chip case study that we use to illustrate step-by-step our requirements-driven analysis and test methodology.},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{safecomp2014,
author = {Bernhard K. Aichernig and Klaus H{\"o}rmaier and Florian Lorber},
title = {{{Debugging with Timed Automata Mutations}}},
year = {2014},
isbn = {978-3-319-10505-5},
booktitle = {Computer Safety, Reliability, and Security},
volume = {8666},
series = {Lecture Notes in Computer Science},
editor = {Bondavalli, Andrea and Di Giandomenico, Felicita},
doi = {10.1007/978-3-319-10506-2_4},
publisher = {Springer International Publishing},
keywords = {Timed automata; debugging; model-based mutation debugging; mutation testing; model-based testing; language inclusion; mutation operators},
pages = {49--64},
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}
}
@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}
}
@article{Horl2000,
author = {Johann H{\"o}rl and
Bernhard K. Aichernig},
title = {{{Validating Voice Communication Requirements Using Lightweight
Formal Methods}}},
journal = {IEEE Software},
volume = {17},
number = {3},
year = {2000},
pages = {21--27},
doi = {10.1109/52.896246},
originalfile = {/formal_methods/formal_methods.bib}
}
@techreport{IST-MBT-2014-03,
author = {Bernhard K. Aichernig and Florian Lorber and Dejan Ni\v{c}kovi\'{c}
and Stefan Tiran},
title = {{{Require, Test and Trace IT}}},
institution = {Institute for Software Technology (IST), Graz University of Technology},
year = {2014},
abstract = {We present a framework for requirement-driven test-case generation
from specifications of synchronous reactive systems. We propose requirement
interfaces as the formal specification model. Contract specifications
of individual requirements are naturally combined by the conjunction
operation. The conjunction of two requirement interfaces has the
property that it subsumes all behaviors of the individual interfaces.
We exploit this property to generate test cases incrementally. We
use a small set of related requirements to drive test-case generation,
thus
avoiding the explosion of the state space to explore. In addition
to test-case generation, we also provide a procedure for incremental
consistency checking of the requirements. Our requirement-driven
approach has several advantages: (1) both consistency checking and
test case generation are incremental and thus more efficient; (2)
test cases are naturally related to requirements, hence enabling
easier traceability; and (3) fail verdicts in a test case can be
mapped to violated requirements. We implemented a prototype using
the SMT-solver Z3.},
url = {https://online.tugraz.at/tug_online/voe_main2.getVollText?pDocumentNr=637834&pCurrPk=77579},
originalfile = {/formal_methods/formal_methods.bib}
}
@incollection{Aichernig2013b,
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_2},
title = {{{Time for Mutants - Model-Based Mutation Testing with Timed Automata}}},
publisher = {Springer Berlin Heidelberg},
author = {Aichernig, Bernhard K. and Lorber, Florian and Ni\v{c}kovi\'{c}, Dejan},
pages = {20--38},
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}
}
@incollection{Aichernig2010b,
year = {2010},
isbn = {978-3-642-14334-2},
booktitle = {Testing Techniques in Software Engineering},
volume = {6153},
series = {Lecture Notes in Computer Science},
editor = {Borba, Paulo and Cavalcanti, Ana and Sampaio, Augusto and Woodcook, Jim},
doi = {10.1007/978-3-642-14335-9_8},
title = {{{A Systematic Introduction to Mutation Testing in Unifying Theories of Programming}}},
url = {http://dx.doi.org/10.1007/978-3-642-14335-9_8},
publisher = {Springer Berlin Heidelberg},
author = {Aichernig, Bernhard K.},
pages = {243--287},
originalfile = {/formal_methods/formal_methods.bib}
}
@booklet{Aichernig12,
title = {{{Model-Based Mutation Testing: Theory and Application}}},
author = {Bernhard K. Aichernig},
howpublished = {Habilitation thesis},
address = {Graz University of Technology, Austria},
month = {January},
year = {2012},
originalfile = {/formal_methods/formal_methods.bib}
}
@phdthesis{IST-PHD-01-01,
author = {Bernhard Aichernig},
title = {{{Systematic Black-Box Testing of Computer-Based Systems
through Formal Abstraction Techniques}}},
school = {Institute for Software Technology, TU Graz, Austria},
year = {2001},
month = {January},
note = {Supervisor: Peter Lucas},
originalfile = {/formal_methods/formal_methods.bib}
}
@mastersthesis{IST-MSC-97-01,
author = {Bernhard K. Aichernig},
title = {{{A Proof Obligation Generator for the {IFAD VDM-SL Toolbox}}}},
school = {Institute for Software Technology, TU-Graz, Austria},
year = {1997},
month = {March},
note = {Supervisor: Peter Gorm Larsen and Peter Lucas},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Aichernig2009b,
author = {Aichernig, Bernhard and Griesmayer, Andreas and Schlatte, Rudolf
and Stam, Andries},
title = {{{Modeling and Testing Multi-Threaded Asynchronous Systems with Creol}}},
journal = {Electron. Notes Theor. Comput. Sci.},
year = {2009},
volume = {243},
pages = {3--14},
address = {Amsterdam, The Netherlands, The Netherlands},
doi = {10.1016/j.entcs.2009.07.002},
issn = {1571-0661},
publisher = {Elsevier Science Publishers B. V.},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@techreport{Aichernig2012,
author = {Bernhard Aichernig and Florian Lorber and Stefan Tiran},
title = {{{Formal Test-Driven Development with Verified Test Cases}}},
institution = {Institute for Software Technology (IST), Graz University of Technology},
year = {2012},
timestamp = {2014.02.24},
url = {https://online.tugraz.at/tug_online/voe_main2.getVollText?pDocumentNr=275810&pCurrPk=67400},
urldate = {2013-05-06},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2014a,
author = {Bernhard Aichernig and Florian Lukas Lorber and Stefan Tiran},
title = {{{Formal Test-Driven Development with Verified Test Cases}}},
booktitle = {Proceedings of the 2\textsuperscript{nd} International Conference
on Model-Driven Engineering and Software Development},
year = {2014},
editor = {Luis Ferreira Pires, Slimane Hammoudi, Joaquim Filipe and Rui C{\'e}sar
das Neves},
pages = {626--635},
address = {Lisbon},
month = jan,
publisher = {SCITEPRESS - Science and Technology Publications},
doi = {10.5220/0004874406260635},
isbn = {978-989-758-007-9},
language = {EN},
location = {Lisbon},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2012a,
author = {Bernhard Aichernig and Florian Lukas Lorber and Stefan Tiran},
title = {{{Integrating model-based testing and analysis tools via test case
exchange}}},
booktitle = {Proceedings of the 2012 Sixth International Symposium on Theoretical
Aspects of Software Engineering},
year = {2012},
editor = {IEEE Computer Society},
pages = {119--126},
month = jul,
publisher = {IEEE Computer Society},
abstract = {Europe's industry in embedded system design is currently aiming for
a better integration of tools that support their development, validation
and verification processes. The idea is to combine model-driven development
with model-based testing and model-based analysis. The interoperability
of tools shall be achieved with the help of meta-models that facilitate
the mapping between different modelling notations. However, the syntactic
and semantic integration of tools is a complex and costly task. A
common problem is that different tools support different subsets
of a language. Furthermore, semantic differences are a major obstacle
to sound integration efforts. In this paper we advocate an alternative,
more pragmatic approach. We propose the exchange of test cases generated
from the models instead of exchanging the models themselves. The
advantage is that test cases have a much simpler syntax and semantics,
and hence, the mapping between different tools is easier to implement
and to maintain. With a formal testing approach with adequate testing
criteria a set of test cases can be viewed as partial models that
can be formally analysed. We demonstrate an integration of our test
case generator Ulysses with the CADP toolbox by means of test case
exchange. We generate test cases in Ulysses and verify properties
in CADP. We also generate test cases in CADP and perform a mutation
analysis in Ulysses.},
doi = {10.1109/TASE.2012.20},
isbn = {978-1-4673-2353-6},
language = {EN},
location = {Beijing},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2003c,
author = {Bernhard K. Aichernig},
title = {{{{Contract-based Testing}}}},
booktitle = {{Formal Methods at the Crossroads: from Panacea to Foundational Support}},
year = {2003},
editor = {Bernhard K. Aichernig and Tom Maibaum},
volume = {2757},
series = {Lecture Notes in Computer Science},
pages = {34--48},
publisher = {Springer-Verlag},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig1999b,
author = {Bernhard K. Aichernig},
title = {{{Automated Black-Box Testing with Abstract {VDM} Oracles}}},
booktitle = {Computer Safety, Reliability and Security: proceedings of the 18\textsuperscript{th}
International Conference, SAFECOMP'99, Toulouse, France, September
1999},
year = {1999},
editor = {M.~Felici and K.~Kanoun and A.~Pasquini},
volume = {1698},
series = {Lecture Notes in Computer Science},
pages = {250--259},
publisher = {Springer},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig1999e,
author = {Bernhard K. Aichernig},
title = {{{Automated Black-Box Testing with Abstract {VDM} Oracles}}},
booktitle = {Workshop Materials: VDM in Practice!, Part of the FM'99 World Congress
on Formal Methods, Toulouse},
year = {1999},
editor = {John Fitzgerald and Peter Gorm Larsen},
pages = {57--66},
month = sep,
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2001b,
author = {Bernhard K. Aichernig},
title = {{{Test-Case Calculation through Abstraction}}},
booktitle = {Proceedings of Formal Methods Europe 2001, FME 2001: Formal Methods
for Increasing Software Productivity, March 12--16 2001, Berlin,
Germany},
year = {2001},
editor = {Jos\'{e} Nuno Oliveira and Pamela Zave},
volume = {2021},
series = {Lecture Notes in Computer Science},
pages = {571--589},
publisher = {Springer Verlag},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2005,
author = {Bernhard K. Aichernig},
title = {{{On the Value of Fault Injection on the Modeling Level}}},
booktitle = {{Overture Workshop, Newcastle upon Tyne, UK, July 18, 2005}},
year = {2005},
editor = {Nico Plat and Peter Gorm Larsen},
pdf = {http://www.ist.tugraz.at/aichernig/publications/papers/overture05.pdf},
originalfile = {/formal_methods/formal_methods.bib}
}
@incollection{Aichernig2013,
author = {Aichernig, Bernhard K.},
title = {{{Model-based mutation testing of reactive systems: from semantics
to automated test-case generation}}},
booktitle = {Theories of Programming and Formal Methods},
publisher = {Springer-Verlag},
year = {2013},
series = {Lecture Notes in Computer Science},
pages = {23--36},
address = {Berlin, Heidelberg},
book = {Theories of Programming and Formal Methods: essays dedicated to Jifeng
He on the occasion of his 70th birthday},
doi = {10.1007/978-3-642-39698-4_2},
isbn = {978-3-642-39697-7},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2012h,
author = {Aichernig, Bernhard Klaus},
title = {{{The science of killing bugs in a black box}}},
booktitle = {SBLP'12: Proceedings of the 16\textsuperscript{th} Brazilian conference
on Programming Languages},
year = {2012},
pages = {6--11},
address = {Berlin, Heidelberg},
publisher = {Springer-Verlag},
doi = {10.1007/978-3-642-33182-4_2},
isbn = {978-3-642-33181-7},
location = {Natal, Brazil},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Aichernig2003,
author = {Bernhard K. Aichernig},
title = {{{{Mutation Testing in the Refinement Calculus}}}},
journal = {Formal Aspects of Computing Journal},
year = {2003},
volume = {15},
pages = {280--295},
number = {2},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2003a,
author = {Bernhard K. Aichernig},
title = {{{{Test Derivation in a Refinement Process}}}},
booktitle = {{RCS'03, the 2\textsuperscript{nd} International Workshop on Refinement
of Critical Systems: Methods, Tools and Developments, June 3, 2003,
Turku, Finland)}},
year = {2003},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2003b,
author = {Bernhard K. Aichernig},
title = {{{{The Commuting V-Diagram: On the Relation of Refinement and Testing}}}},
booktitle = {{Proceedings of CSL/KGC 2003, the Annual Conference of the European
Association for Computer Science Logic and 8\textsuperscript{th}
Kurt G{\"o}del Colloquium, 25-30 August 2003, Vienna, Austria}},
year = {2003},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2002,
author = {Bernhard K. Aichernig},
title = {{{Contract-based Mutation Testing in the Refinement Calculus}}},
booktitle = {{REFINE'02, the British Computer Society - Formal Aspects of Computing
refinement workshop, Copenhagen, Denmark, July 20-21, 2002, affiliated
with FME 2002}},
year = {2002},
volume = {70 No.~3},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Aichernig2001,
author = {Bernhard K. Aichernig},
title = {{{Test-Design through Abstraction --- a Systematic Approach Based on
the Refinement Calculus}}},
journal = {Journal of Universal Computer Science},
year = {2001},
volume = {7},
pages = {710--735},
number = {8},
month = aug,
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@techreport{Aichernig1999a,
author = {Bernhard K. Aichernig},
title = {{{Test-Case Generation as a Refinement Problem}}},
institution = {Institute for Software Technology (IST), Graz University of Technology},
year = {1999},
number = {IST-TEC-99-21},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig1999d,
author = {Bernhard K. Aichernig},
title = {{{Executable specifications in software reliability engineering}}},
booktitle = {2nd Workshop on Formal Descriptions and Software Reliability (FDSR),
Boca Raton, Florida},
year = {1999},
month = {31st of October},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@techreport{Aichernig1998a,
author = {Bernhard K. Aichernig},
title = {{{Teaching Programming to the Uninitiated using {Mathematica}}}},
institution = {Institute for Software Technology (IST), Graz University of Technology},
year = {1998},
number = {IST-TEC-98-03},
month = may,
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@techreport{Aichernig1998b,
author = {Bernhard K. Aichernig},
title = {{{A Telephone Exchange Specification in {VDM-SL}}}},
institution = {Institute for Software Technology (IST), Graz University of Technology},
year = {1998},
number = {IST-TEC-98-04},
month = dec,
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig1998c,
author = {Bernhard K. Aichernig},
title = {{{Automated Requirements Testing with Abstract Oracles}}},
booktitle = {ISSRE'98: The Ninth International Symposium on Software Reliability
Engineering, Paderborn, Germany},
year = {1998},
pages = {21--22},
address = {IBM Thomas J.Watson Research Center, P.O.Box 218, Route 134, Yorktown
Heights, NY, USA},
month = nov,
publisher = {Ram Chillarege},
note = {ISBN 3-00-003410-2},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@mastersthesis{Aichernig1997,
author = {Bernhard K. Aichernig},
title = {{{A Proof Obligation Generator for the {IFAD VDM-SL Toolbox}}}},
school = {Institute for Software Technology, TU-Graz, Austria},
year = {1997},
month = mar,
note = {Supervisor: Peter Gorm Larsen and Peter Lucas},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Aichernig1997b,
author = {Bernhard K. Aichernig},
title = {{{{FME'97 --- Formale Methoden in Graz}}}},
journal = {Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV)},
year = {1997},
volume = {3},
pages = {34--35},
number = {3},
note = {ISSN 1028-5068},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2009c,
author = {Aichernig, Bernhard K. and Arbab, Farhad and Astefanoaei, Lacramioara
and Boer, Frank S. de and Sun, Meng and Rutten, Jan},
title = {{{Fault-Based Test Case Generation for Component Connectors}}},
booktitle = {TASE '09: Proceedings of the 2009 Third IEEE International Symposium
on Theoretical Aspects of Software Engineering},
year = {2009},
pages = {147--154},
address = {Washington, DC, USA},
publisher = {IEEE Computer Society},
doi = {10.1109/TASE.2009.14},
isbn = {978-0-7695-3757-3},
timestamp = {2014.02.24},
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{KrennSA2010MappingUmlToOoas,
author = {Willibald Krenn and Rupert Schlick and Bernhard K. Aichernig},
title = {{{Mapping {UML} to Labeled Transition Systems for Test-Case Generation
-- A Translation via Object-Oriented Action 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 = {186--207},
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}
}
@inproceedings{Grabe&09,
author = {Immo Grabe and
Mohammad Mahdi Jaghoori and
Joachim Klein and
Sascha Kl{\"u}ppelholz and
Andries Stam and
Christel Baier and
Tobias Blechmann and
Bernhard K. Aichernig and
Frank S. de Boer and
Andreas Griesmayer},
title = {{{The Credo Methodology - (Extended Version)}}},
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 = {41--69},
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}
}
@article{Aichernig2011a,
author = {Aichernig, Bernhard K. and Brandl, Harald and J\"{o}bstl, Elisabeth
and Krenn, Willibald},
title = {{{{UML} in action: a two-layered interpretation for testing}}},
journal = {SIGSOFT Softw. Eng. Notes},
year = {2011},
volume = {36},
pages = {1--8},
number = {1},
address = {New York, NY, USA},
doi = {10.1145/1921532.1921559},
issn = {0163-5948},
publisher = {ACM},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2011b,
author = {Aichernig, Bernhard K. and Brandl, Harald and J\"{o}bstl, Elisabeth
and Krenn, Willibald},
title = {{{Efficient Mutation Killers in Action}}},
booktitle = {ICST '11: Proceedings of the 2011 Fourth IEEE International Conference
on Software Testing, Verification and Validation},
year = {2011},
pages = {120--129},
address = {Washington, DC, USA},
publisher = {IEEE Computer Society},
doi = {10.1109/ICST.2011.57},
isbn = {978-0-7695-4342-0},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2010a,
author = {Aichernig, Bernhard K. and Brandl, Harald and J\"{o}bstl, Elisabeth
and Krenn, Willibald},
title = {{{Model-based mutation testing of hybrid systems}}},
booktitle = {FMCO'09: Proceedings of the 8\textsuperscript{th} international conference
on Formal methods for components and objects},
year = {2010},
pages = {228--249},
address = {Berlin, Heidelberg},
publisher = {Springer-Verlag},
isbn = {3-642-17070-6, 978-3-642-17070-6},
location = {Eindhoven, The Netherlands},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2009f,
author = {Aichernig, Bernhard K. and Brandl, Harald and Krenn, Willibald},
title = {{{Qualitative Action Systems}}},
booktitle = {ICFEM '09: Proceedings of the 11\textsuperscript{th} International
Conference on Formal Engineering Methods},
year = {2009},
pages = {206--225},
address = {Berlin, Heidelberg},
publisher = {Springer-Verlag},
doi = {10.1007/978-3-642-10373-5_11},
isbn = {978-3-642-10372-8},
location = {Rio de Janeiro, Brazil},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Aichernig2009e,
author = {Aichernig, Bernhard K. and Brandl, Harald and Wotawa, Franz},
title = {{{Conformance Testing of Hybrid Systems with Qualitative Reasoning
Models}}},
journal = {Electron. Notes Theor. Comput. Sci.},
year = {2009},
volume = {253},
pages = {53--69},
number = {2},
address = {Amsterdam, The Netherlands, The Netherlands},
doi = {10.1016/j.entcs.2009.09.051},
issn = {1571-0661},
publisher = {Elsevier Science Publishers B. V.},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2006a,
author = {Bernhard K. Aichernig and Carlo Corrales Delgado},
title = {{{From Faults via Test Purposes to Test Cases: on the Fault-based Testing
of Concurrent Systems}}},
booktitle = {Proceedings of FASE'06, Fundamental Approaches to Software Engineering,
Vienna, Austria, March 27--29, 2006},
year = {2006},
editor = {Luciano Baresi and Reiko Heckel},
volume = {3922},
series = {Lecture Notes in Computer Science},
pages = {324--338},
publisher = {Springer-Verlag},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2006c,
author = {Aichernig, Bernhard K. and Delgado, Carlo Corrales},
title = {{{From faults via test purposes to test cases: on the fault-based testing
of concurrent systems}}},
booktitle = {FASE'06: Proceedings of the 9\textsuperscript{th} international conference
on Fundamental Approaches to Software Engineering},
year = {2006},
pages = {324--338},
address = {Berlin, Heidelberg},
publisher = {Springer-Verlag},
doi = {10.1007/11693017_24},
isbn = {3-540-33093-3, 978-3-540-33093-6},
location = {Vienna, Austria},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Aichernig2006b,
author = {Bernhard K. Aichernig and Chris George},
title = {{{When Model-based Testing Fails}}},
journal = {Electronic Notes in Theoretical Computer Science},
year = {2006},
volume = {164},
pages = {115--128},
number = {4},
doi = {10.1016/j.entcs.2006.09.009},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2004,
author = {Bernhard K. Aichernig and Chris George},
title = {{{When specification-based testing fails}}},
booktitle = {Proceedings of PRISE 2004, the First Conference on the PRInciples
of Software Engineering, Buenos Aires, Argentina, November 22 - 27,
2004.},
year = {2004},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2000a,
author = {Bernhard K. Aichernig and Andreas Gerstinger and Robert Aster},
title = {{{Formal Specification Techniques as a Catalyst in Validation}}},
booktitle = {Proceedings of the 5\textsuperscript{th} IEEE High Assurance Systems
Engineering Symposium (HASE 2000), November 15--17, Albuquerque,
New Mexico},
year = {2000},
pages = {203--207},
publisher = {IEEE},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@incollection{Aichernig2009d,
author = {Aichernig, Bernhard K. and Griesmayer, Andreas and Johnsen, Einar
Broch and Schlatte, Rudolf and Stam, Andries},
title = {{{Conformance Testing of Distributed Concurrent Systems with Executable
Designs}}},
booktitle = {Formal Methods for Components and Objects},
publisher = {Springer-Verlag},
year = {2009},
pages = {61--81},
address = {Berlin, Heidelberg},
book = {Formal Methods for Components and Objects: 7th International Symposium,
FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
doi = {10.1007/978-3-642-04167-9_4},
isbn = {978-3-642-04166-2},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Aichernig2007c,
author = {Aichernig, Bernhard K. and He, Jifeng},
title = {{{Refinement and Test Case Generation in {UTP}}}},
series = {Electronic Notes in Theoretical Computer Science},
year = {2007},
volume = {187},
pages = {125--143},
address = {Amsterdam, The Netherlands, The Netherlands},
doi = {10.1016/j.entcs.2006.08.048},
issn = {1571-0661},
publisher = {Elsevier Science Publishers B. V.},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Aichernig2006d,
author = {Bernhard K. Aichernig and Jifeng He},
title = {{{Refinement and Test Case Generation in {UTP}}}},
journal = {Electronic Notes in Theoretical Computer Science},
year = {2006},
volume = {187},
pages = {125--143},
doi = {10.1016/j.entcs.2006.08.048},
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}
}
@article{Aichernig2009a,
author = {Aichernig, Bernhard K. and Jifeng, He},
title = {{{Mutation testing in UTP}}},
journal = {Form. Asp. Comput.},
year = {2009},
volume = {21},
pages = {33--64},
number = {1-2},
address = {London, UK, UK},
doi = {10.1007/s00165-008-0083-6},
issn = {0934-5043},
publisher = {Springer-Verlag},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@incollection{Aichernig2008a,
author = {Aichernig, Bernhard K. and Jifeng, He and Liu, Zhiming and Reed, Mike},
title = {{{Integrating Theories and Techniques for Program Modelling, Design
and Verification}}},
booktitle = {Verified Software: Theories, Tools, Experiments},
publisher = {Springer-Verlag},
year = {2008},
volume = {4171},
series = {Lecture Notes in Computer Science},
pages = {291--300},
address = {Berlin, Heidelberg},
book = {Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG
2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005,
Revised Selected Papers and Discussions},
doi = {10.1007/978-3-540-69149-5_31},
isbn = {978-3-540-69147-1},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@incollection{Aichernig2006,
year = {2008},
isbn = {978-3-540-69147-1},
booktitle = {Verified Software: Theories, Tools, Experiments},
volume = {4171},
series = {Lecture Notes in Computer Science},
editor = {Meyer, Bertrand and Woodcock, Jim},
doi = {10.1007/978-3-540-69149-5_31},
title = {{{Integrating Theories and Techniques for Program Modelling, Design and Verification}}},
url = {http://dx.doi.org/10.1007/978-3-540-69149-5_31},
publisher = {Springer Berlin Heidelberg},
author = {Aichernig, Bernhard K. and Jifeng, He and Liu, Zhiming and Reed, Mike},
pages = {291--300},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2012g,
author = {Aichernig, Bernhard K. and J\"{o}bstl, Elisabeth},
title = {{{Efficient Refinement Checking for Model-Based Mutation Testing}}},
booktitle = {QSIC '12: Proceedings of the 2012 12\textsuperscript{th} International
Conference on Quality Software},
year = {2012},
pages = {21--30},
address = {Washington, DC, USA},
publisher = {IEEE Computer Society},
doi = {10.1109/QSIC.2012.58},
isbn = {978-0-7695-4833-3},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2000,
author = {Bernhard K. Aichernig and Reinhold Kainhofer},
title = {{{Modeling and Validating Hybrid Systems Using {VDM} and {Mathematica}}}},
booktitle = {Lfm2000, Fifth NASA Langley Formal Methods Workshop, Williamsburg,
Virginia, June 2000},
year = {2000},
editor = {C.Micheal Holloway},
pages = {35--46},
month = jun,
publisher = {NASA},
note = {CP-2000-210100},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@techreport{Aichernig1999,
author = {Bernhard K. Aichernig and Andreas Kerschbaumer},
title = {{{Property Orientation in the Model Oriented Vienna Development Method
(VDM)}}},
institution = {Institute for Software Technology (IST), Graz University of Technology},
year = {1999},
number = {IST-TEC-99-02},
month = feb,
note = {Presented at VDM-Workshop at FM'99, Toulouse, France, September 20--24},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@techreport{Aichernig1998,
author = {Bernhard K. Aichernig and Andreas Kerschbaumer},
title = {{{Static and Dynamic Semantics of a Simple Programming Language}}},
institution = {Institute for Software Technology (IST), Graz University of Technology},
year = {1998},
number = {IST-TEC-98-01},
month = may,
note = {(PostScript available on demand)},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig1997a,
author = {Bernhard K.\ Aichernig and Peter Gorm Larsen},
title = {{{A Proof Obligation Generator for {VDM-SL}}}},
booktitle = {FME'97: Industrial Applications and Strengthened Foundations of Formal
Methods},
year = {1997},
editor = {J.~Fitzgerald and C.B.~Jones and P.~Lucas},
volume = {1313},
series = {Lecture Notes in Computer Science},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig1997c,
author = {Aichernig, Bernhard K. and Larsen, Peter Gorm},
title = {{{A Proof Obligation Generator for VDM-SL}}},
booktitle = {FME '97: Proceedings of the 4\textsuperscript{th} International Symposium
of Formal Methods Europe on Industrial Applications and Strengthened
Foundations of Formal Methods},
year = {1997},
pages = {338--357},
address = {London, UK, UK},
publisher = {Springer-Verlag},
isbn = {3-540-63533-5},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig1999c,
author = {Bernhard K. Aichernig and Peter Lucas},
title = {{{{Formale Methoden in der Praxis}}}},
booktitle = {Unterlagen zum 1.~\"Osterreichischen ISA-EUNET Workshop, Wien},
year = {1999},
month = {28.~April},
organization = {\"Osterreichische Computer Gesellschaft, AK Software Qualit\"at und
Verl\"aszlichkeit},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Aichernig1998d,
author = {Bernhard K. Aichernig and Peter Lucas},
title = {{{{Softwareentwicklung --- eine Ingenieursdisziplin!(?)}}}},
journal = {Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV)},
year = {1998},
volume = {4},
pages = {2--8},
number = {2},
note = {ISSN 1028-5068},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2005b,
author = {Aichernig, Bernhard K. and Pari Salas, Percy Antonio},
title = {{{Test Case Generation by OCL Mutation and Constraint Solving}}},
booktitle = {QSIC '05: Proceedings of the Fifth International Conference on Quality
Software},
year = {2005},
pages = {64--71},
address = {Washington, DC, USA},
publisher = {IEEE Computer Society},
doi = {10.1109/QSIC.2005.63},
isbn = {0-7695-2472-9},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2007a,
author = {Aichernig, Bernhard K. and Peischl, Bernhard and Weiglhofer, Martin
and Wotawa, Franz},
title = {{{Protocol Conformance Testing a SIP Registrar: an Industrial Application
of Formal Methods}}},
booktitle = {SEFM '07: Proceedings of the Fifth IEEE International Conference
on Software Engineering and Formal Methods},
year = {2007},
pages = {215--226},
address = {Washington, DC, USA},
publisher = {IEEE Computer Society},
doi = {10.1109/SEFM.2007.31},
isbn = {0-7695-2884-8},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2005a,
author = {Bernhard K. Aichernig and Percy Antonio Pari Salas},
title = {{{Test Case Generation by {OCL} Mutation and Constraint Solving}}},
booktitle = {{QSIC 2OO5}, Fifth International Conference on Quality Software,
Melbourne, Australia, September 19-21, 2005},
year = {2005},
editor = {Kai-Yuan Cai and Atsushi Ohnishi},
publisher = {IEEE Computer Society Press},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2007,
author = {Aichernig, Bernhard K. and Weiglhofer, Martin and Peischl, Bernhard
and Wotawa, Franz},
title = {{{Test purpose generation in an industrial application}}},
booktitle = {A-MOST '07: Proceedings of the 3\textsuperscript{rd} international
workshop on Advances in model-based testing},
year = {2007},
pages = {115--125},
address = {New York, NY, USA},
publisher = {ACM},
doi = {10.1145/1291535.1291547},
isbn = {978-1-59593-850-3},
location = {London, United Kingdom},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Aichernig2008,
author = {Aichernig, Bernhard K. and Weiglhofer, Martin and Wotawa, Franz},
title = {{{Improving Fault-based Conformance Testing}}},
journal = {Electron. Notes Theor. Comput. Sci.},
year = {2008},
volume = {220},
pages = {63--77},
number = {1},
address = {Amsterdam, The Netherlands, The Netherlands},
doi = {10.1016/j.entcs.2008.11.006},
issn = {1571-0661},
publisher = {Elsevier Science Publishers B. V.},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inbook{Aichernig06b,
author = {Lu{\'\i}s S.~Barbosa and Sun Meng and Bernhard K.~Aichernig
and Nuno Rodrigues},
title = {{{Mathematical Frameworks for Component Software: Models for
Analysis and Synthesis}}},
chapter = {3: On the Semantics of Componentware: a Coalgebraic Perspective},
publisher = {World Scientific},
year = 2006,
series = {Series on Component-Based Software Development},
volume = {2},
pages = {69--118},
note = {ISBN 981-270-017-X},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Brandl2010,
author = {Brandl, Harald and Weiglhofer, Martin and Aichernig, Bernhard K.},
title = {{{Automated Conformance Verification of Hybrid Systems}}},
booktitle = {QSIC '10: Proceedings of the 2010 10\textsuperscript{th} International
Conference on Quality Software},
year = {2010},
pages = {3--12},
address = {Washington, DC, USA},
publisher = {IEEE Computer Society},
doi = {10.1109/QSIC.2010.53},
isbn = {978-0-7695-4131-0},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Dan2005,
author = {Dan, Li and Aichernig, Bernhard K.},
title = {{{Combining algebraic and model-based test case generation}}},
booktitle = {ICTAC'04: Proceedings of the First international conference on Theoretical
Aspects of Computing},
year = {2005},
pages = {250--264},
address = {Berlin, Heidelberg},
publisher = {Springer-Verlag},
doi = {10.1007/978-3-540-31862-0_19},
isbn = {3-540-25304-1, 978-3-540-25304-4},
location = {Guiyang, China},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Dan2004,
author = {Li Dan and Bernhard K. Aichernig},
title = {{{Combining Algebraic and Model-based Test Case Generation}}},
booktitle = {Proceedings of ICTAC 2004, the First International Colloquium on
Theoretical Aspects of Computing, Guiyang, China 20-24 September
2004},
year = {2004},
volume = {3407},
series = {Lecture Notes in Computer Science},
pages = {250--264},
publisher = {Springer-Verlag},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Grabe2010a,
author = {Grabe, Immo and Jaghoori, Mohammad Mahdi and Aichernig, Bernhard
and Baier, Christel and Blechmann, Tobias and de Boer, Frank and
Griesmayer, Andreas and Broch Johnsen, Einar and Klein, Joachim and
Kl\"{u}ppelholz, Sascha and Kyas, Marcel and Leister, Wolfgang and
Schlatte, Rudolf and Stam, Andries and Steffen, Martin and Tschirner,
Simon and Xuedong, Liang and Yi, Wang},
title = {{{Credo Methodology}}},
journal = {Electron. Notes Theor. Comput. Sci.},
year = {2010},
volume = {266},
pages = {33--48},
address = {Amsterdam, The Netherlands, The Netherlands},
doi = {10.1016/j.entcs.2010.08.047},
issn = {1571-0661},
publisher = {Elsevier Science Publishers B. V.},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Griesmayer2009,
author = {Griesmayer, Andreas and Aichernig, Bernhard and Johnsen, Einar Broch
and Schlatte, Rudolf},
title = {{{Dynamic Symbolic Execution of Distributed Concurrent Objects}}},
booktitle = {FMOODS '09/FORTE '09: Proceedings of the Joint 11\textsuperscript{th}
IFIP WG 6.1 International Conference FMOODS '09 and 29\textsuperscript{th}
IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques
for Distributed Systems},
year = {2009},
pages = {225--230},
address = {Berlin, Heidelberg},
publisher = {Springer-Verlag},
doi = {10.1007/978-3-642-02138-1_16},
isbn = {978-3-642-02137-4},
location = {Lisboa, Portugal},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Griesmayer2009a,
author = {Griesmayer, Andreas and Aichernig, Bernhard and Johnsen, Einar Broch
and Schlatte, Rudolf},
title = {{{Dynamic Symbolic Execution for Testing Distributed Objects}}},
booktitle = {TAP '09: Proceedings of the 3\textsuperscript{rd} International Conference
on Tests and Proofs},
year = {2009},
pages = {105--120},
address = {Berlin, Heidelberg},
publisher = {Springer-Verlag},
doi = {10.1007/978-3-642-02949-3_9},
isbn = {978-3-642-02948-6},
location = {Zurich, Switzerland},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@techreport{Horl1999,
author = {Johann H{\"o}rl and Bernhard K. Aichernig},
title = {{{Formal Specification of a Voice Communication System used in Air
Traffic Control, An Industrial Application of Light-weight Formal
Methods using {VDM++}}}},
institution = {Institute for Software Technology (IST), Graz University of Technology},
year = {1999},
number = {IST-TEC-99-03},
month = feb,
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Horl2000c,
author = {H\"{o}rl, Johann and Aichernig, Bernhard K.},
title = {{{Requirements Validation of a Voice Communication System Used in Air
Traffic Control}}},
booktitle = {ICRE '00: Proceedings of the 4\textsuperscript{th} International
Conference on Requirements Engineering (ICRE'00)},
year = {2000},
pages = {190},
address = {Washington, DC, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-0565-1},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Horl1999b,
author = {H\"{o}rl, Johann and Aichernig, Bernhard K.},
title = {{{Formal Specification of a Voice Communication System Used in Air
Traffic Control}}},
booktitle = {FM '99: Proceedings of the Wold Congress on Formal Methods in the
Development of Computing Systems-Volume II},
year = {1999},
pages = {1868},
address = {London, UK, UK},
publisher = {Springer-Verlag},
isbn = {3-540-66588-9},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Horl1999a,
author = {Johann H\"orl and Bernhard K. Aichernig},
title = {{{Formal Specification of a Voice Communication System used in Air
Traffic Control, An Industrial Application of Light-weight Formal
Methods using VDM++ (abstract)}}},
booktitle = {Proceedings of FM'99 -- Formal Methods, World Congress on Formal
Methods in the Development of Computing Systems, Toulouse, France,
September 1999},
year = {1999},
editor = {J.M.~Wing and J.~Woodcock and J.~Davies},
volume = {1709},
series = {Lecture Notes in Computer Science},
pages = {1868},
publisher = {Springer},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Horl2000a,
author = {Johann H\"orl and Bernhard K. Aichernig},
title = {{{Requirements Validation of a Voice Communication System used in Air
Traffic Control, an Industrial Application of Light-weight Formal
Methods (abstract)}}},
booktitle = {Proceedings of the Fourth International Conference on Requirements
Engineering (ICRE2000), June 19--23, 2000, Schaumburg, Illinois},
year = {2000},
pages = {190},
publisher = {IEEE},
note = {Selected as one of three {\bf best paper}s},
timestamp = {2014.02.24},
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}
}
@article{Krenn2009,
author = {Krenn, Willibald and Aichernig, Bernhard K.},
title = {{{Test Case Generation by Contract Mutation in Spec\#}}},
journal = {Electron. Notes Theor. Comput. Sci.},
year = {2009},
volume = {253},
pages = {71--86},
number = {2},
address = {Amsterdam, The Netherlands, The Netherlands},
doi = {10.1016/j.entcs.2009.09.052},
issn = {1571-0661},
publisher = {Elsevier Science Publishers B. V.},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Krenn2010,
author = {Krenn, Willibald and Schlick, Rupert and Aichernig, Bernhard K.},
title = {{{Mapping {UML} to labeled transition systems for test-case generation:
a translation via object-oriented action systems}}},
booktitle = {FMCO'09: Proceedings of the 8\textsuperscript{th} international conference
on Formal methods for components and objects},
year = {2010},
pages = {186--207},
address = {Berlin, Heidelberg},
publisher = {Springer-Verlag},
isbn = {3-642-17070-6, 978-3-642-17070-6},
location = {Eindhoven, The Netherlands},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Meng2005,
author = {Sun Meng and Bernhard K. Aichernig},
title = {{{Coalgebraic Component Specification and Verification in {RSL}}}},
booktitle = {Proceedings of the 6\textsuperscript{th} International Conference
on Parallel and Distributed Computing, Applications and Technologies,
PDCAT 2005, Dalian, China, December 5--8, 2005},
year = {2005},
publisher = {IEEE Computer Society},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Meng2003,
author = {Sun Meng and Bernhard K. Aichernig},
title = {{{{A Coalgebraic Calculus for Component Based Systems}}}},
booktitle = {{Proceedings of FACS'03, Workshop on Formal Aspects of Component
Software, Satellite Workshop of the FM 2003, Pisa, Italy, September
8-9, 2003}},
year = {2003},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Meng2005c,
author = {Meng, Sun and Aichernig, Bernhard K. and Barbosa, Lu\'{\i}s S. and
Naixiao, Zhang},
title = {{{A Coalgebraic Semantic Framework for Component-based Development
in {UML}}}},
journal = {Electron. Notes Theor. Comput. Sci.},
year = {2005},
volume = {122},
pages = {229--245},
address = {Amsterdam, The Netherlands, The Netherlands},
doi = {10.1016/j.entcs.2004.06.051},
issn = {1571-0661},
publisher = {Elsevier Science Publishers B. V.},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Meng2005d,
author = {Meng, Sun and Aichernig, Bernhard K. and Naixiao, Zhang},
title = {{{Coalgebraic Component Specification and Verification in {RS}L}}},
booktitle = {PDCAT '05: Proceedings of the Sixth International Conference on Parallel
and Distributed Computing Applications and Technologies},
year = {2005},
pages = {424--426},
address = {Washington, DC, USA},
publisher = {IEEE Computer Society},
doi = {10.1109/PDCAT.2005.100},
isbn = {0-7695-2405-2},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Meng2012,
author = {Meng, Sun and Arbab, Farhad and Aichernig, Bernhard K. and Atefnoaei,
Lcrmioara and de Boer, Frank S. and Rutten, Jan},
title = {{{Connectors as designs: Modeling, refinement and test case generation}}},
journal = {Sci. Comput. Program.},
year = {2012},
volume = {77},
pages = {799--822},
number = {7-8},
address = {Amsterdam, The Netherlands, The Netherlands},
doi = {10.1016/j.scico.2011.04.002},
issn = {0167-6423},
publisher = {Elsevier North-Holland, Inc.},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Meng2005a,
author = {Sun Meng and Zhang Naixiao and Bernhard K. Aichernig},
title = {{{{The Formal Foundations in {RS}L for {UML} Statechart Diagrams}}}},
journal = {Acta Scientiarum Naturalium Universitatis Pekinensis},
year = {2005},
volume = {41},
pages = {344--357},
number = {3},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Schlatte2008,
author = {Schlatte, Rudolf and Aichernig, Bernhard and Boer, Frank and Griesmayer,
Andreas and Johnsen, Einar Broch},
title = {{{Testing Concurrent Objects with Application-Specific Schedulers}}},
booktitle = {Proceedings of the 5\textsuperscript{th} international colloquium
on Theoretical Aspects of Computing},
year = {2008},
pages = {319--333},
address = {Berlin, Heidelberg},
publisher = {Springer-Verlag},
doi = {10.1007/978-3-540-85762-4_22},
isbn = {978-3-540-85761-7},
location = {Istanbul, Turkey},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Schlatte2010,
author = {Schlatte, Rudolf and Aichernig, Bernhard and Griesmayer, Andreas
and Kyas, Marcel},
title = {{{Resource Modeling for Timed Creol Models}}},
journal = {Electron. Notes Theor. Comput. Sci.},
year = {2010},
volume = {266},
pages = {63--75},
address = {Amsterdam, The Netherlands, The Netherlands},
doi = {10.1016/j.entcs.2010.08.049},
issn = {1571-0661},
publisher = {Elsevier Science Publishers B. V.},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Schlatte1999,
author = {Rudi Schlatte and Bernhard K. Aichernig},
title = {{{Database Development of a Work-Flow Planning and Tracking System
Using {VDM-SL}}}},
booktitle = {Workshop Materials: VDM in Practice!, Part of the FM'99 World Congress
on Formal Methods, Toulouse},
year = {1999},
editor = {John Fitzgerald and Peter Gorm Larsen},
month = sep,
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Schwarzl&11,
author = {Christian Schwarzl and
Bernhard K. Aichernig and
Franz Wotawa},
title = {{{Compositional Random Testing Using Extended Symbolic Transition
Systems}}},
booktitle = {Testing Software and Systems - 23\textsuperscript{rd} IFIP WG 6.1 International
Conference, ICTSS 2011, Paris, France, November 7-10, 2011.
Proceedings},
year = {2011},
volume = {7019},
series = {Lecture Notes in Computer Science},
address = {Berlin, Heidelberg},
publisher = {Springer-Verlag},
isbn = {978-3-642-24579-4},
location = {Paris, France},
editor = {Burkhart Wolff and
Fatiha Za\"{\i}di},
pages = {179--194},
doi = {10.1007/978-3-642-24580-0_13},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Weiglhofer2010,
author = {Weiglhofer, Martin and Aichernig, Bernhard K.},
title = {{{Unifying input output conformance}}},
booktitle = {UTP'08: Proceedings of the 2\textsuperscript{nd} international conference
on Unifying theories of programming},
year = {2010},
pages = {181--201},
address = {Berlin, Heidelberg},
publisher = {Springer-Verlag},
isbn = {3-642-14520-5, 978-3-642-14520-9},
location = {Dublin, Ireland},
doi = {10.1007/978-3-642-14521-6_11},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Wotawa2010,
author = {Wotawa, Franz and Nica, Mihai and Aichernig, Bernhard K.},
title = {{{Generating Distinguishing Tests using the {MINION} Constraint Solver}}},
booktitle = {ICSTW '10: Proceedings of the 2010 Third International Conference
on Software Testing, Verification, and Validation Workshops},
year = {2010},
pages = {325--330},
address = {Washington, DC, USA},
publisher = {IEEE Computer Society},
doi = {10.1109/ICSTW.2010.11},
isbn = {978-0-7695-4050-4},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Weiglhofer&09,
author = {Martin Weiglhofer and Bernhard Aichernig and Franz Wotawa},
title = {{{Fault-Based Conformance Testing in Practice}}},
journal = {International Journal of Software and Informatics},
year = 2009,
volume = 3,
number = {2--3},
pages = {375--411},
month = {June/September},
note = {Special double issue on Formal Methods of Program Development edited by Dines Bjoerner},
annote = {Copyright by Institute for Software,
Chinese Academy of Science.},
pdf = {http://www.ist.tugraz.at/aichernig/publications/papers/ijsi2009.pdf},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{SunMeng&04,
author = {Sun Meng and Zhang Naixiao and Bernhard K. Aichernig},
title = {{"{The Formal Foundations in RSL for UML Statechart Diagrams}"}},
journal = {Acta Scientiarum Naturalium Universitatis Pekinensis},
year = 2005,
volume = 41,
number = 3,
pages = {344--357},
note = {ISSN 0479-8023},
pdf = {http://www.ist.tugraz.at/aichernig/publications/papers/pekinensis05.pdf},
url = {http://xbna.pku.edu.cn/en/view.xbna?id=1375},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Aichernig03a,
author = {Bernhard K. Aichernig},
title = {{"{Mutation Testing in the Refinement Calculus}"}},
journal = {Formal Aspects of Computing},
year = 2003,
volume = 15,
number = {2-3},
pages = {280--295},
doi = {10.1007/s00165-003-0011-8},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{IST-TEC-01-02,
author = {Bernhard K. Aichernig},
title = {{{Test-Design through Abstraction --- a Systematic Approach
Based on the Refinement Calculus}}},
journal = {Journal of Universal Computer Science},
year = {2001},
volume = {7},
number = {8},
pages = {710--735},
month = {August},
doi = {10.3217/jucs-007-08-0710},
pdf = {http://www.ist.tugraz.at/aichernig/publications/papers/jucs02.pdf},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{FraserAichernig&07,
author = {Gordon Fraser and
Bernhard K. Aichernig and
Franz Wotawa},
title = {{{Handling Model Changes: Regression Testing and Test-Suite
Update with Model-Checkers}}},
booktitle = {Proceedings of the Third Workshop on Model Based Testing (MBT 2007)},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
volume = {190 (2)},
year = 2007,
pages = {33--46},
doi = {10.1016/j.entcs.2007.08.004},
originalfile = {/formal_methods/formal_methods.bib}
}
This file was generated by bibtex2html 1.98.