BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Hungary
1 × Italy
1 × Switzerland
1 × USA
2 × Germany
3 × France
3 × United Kingdom
4 × Austria
Collaborated with:
F.Wotawa E.Jöbstl M.Weiglhofer W.Krenn J.Hörl H.Brandl D.Nickovic S.Tiran B.Peischl C.C.Delgado C.George P.G.Larsen M.Kegele F.Lorber C.Schwarzl G.Fraser R.Schlick A.Griesmayer E.B.Johnsen R.Schlatte J.Auer R.Korosec B.V.Schmidt
Talks about:
test (21) model (9) base (7) mutat (6) generat (5) system (5) case (5) conform (4) symbol (4) industri (3)

Person: Bernhard K. Aichernig

DBLP DBLP: Aichernig:Bernhard_K=

Facilitated 2 volumes:

SEFM 2005Ed
A-MOST 2019PrCo

Contributed to:

ICST 20152015
TAP 20152015
TAP 20142014
TAP 20132013
ICST 20122012
ICST 20112011
ICTSS 20112011
ICST 20102010
MBT 20092009
TAP 20092009
MBT 20082008
A-MOST 20072007
MBT 20072007
SEFM 20072007
FASE 20062006
MBT 20062006
CSL 20032003
FME 20012001
ICRE 20002000
World Congress on Formal Methods 19991999
FME 19971997

Wrote 23 papers:

ICST-2015-KrennSTAJB #modelling #mutation testing #named #testing #uml
MoMut: : UML Model-Based Mutation Testing for UML (WK, RS, ST, BKA, EJ, HB), pp. 1–8.
TAP-2015-AichernigNT #behaviour #generative #incremental #modelling #scalability #testing
Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.
TAP-2014-AichernigAJKKSS #industrial #metric #modelling #mutation testing #testing
Model-Based Mutation Testing of an Industrial Measurement Device (BKA, JA, EJ, RK, WK, RS, BVS), pp. 1–19.
TAP-2013-AichernigJK #generative #incremental #refinement #testing
Incremental Refinement Checking for Test Case Generation (BKA, EJ, MK), pp. 1–19.
TAP-2013-AichernigLN #automaton #modelling #mutation testing #testing
Time for Mutants — Model-Based Mutation Testing with Timed Automata (BKA, FL, DN), pp. 20–38.
ICST-2012-AichernigJ #constraints #modelling #mutation testing #semantics #testing #towards
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints (BKA, EJ), pp. 752–757.
ICST-2011-AichernigBJK #performance
Efficient Mutation Killers in Action (BKA, HB, EJ, WK), pp. 120–129.
ICTSS-2011-SchwarzlAW #composition #random testing #testing #using
Compositional Random Testing Using Extended Symbolic Transition Systems (CS, BKA, FW), pp. 179–194.
ICST-2010-JobstlWAW #consistency #execution #smt #symbolic computation #testing
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving (EJ, MW, BKA, FW), pp. 479–488.
MBT-2009-AichernigBW #consistency #hybrid #modelling #reasoning #testing
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models (BKA, HB, FW), pp. 53–69.
MBT-2009-KrennA #contract #generative #specification #testing
Test Case Generation by Contract Mutation in Spec# (WK, BKA), pp. 71–86.
TAP-2009-GriesmayerAJS #distributed #execution #symbolic computation #testing
Dynamic Symbolic Execution for Testing Distributed Objects (AG, BKA, EBJ, RS), pp. 105–120.
MBT-2008-AichernigWW #consistency #testing
Improving Fault-based Conformance Testing (BKA, MW, FW), pp. 63–77.
A-MOST-2007-AichernigWPW #generative #industrial
Test purpose generation in an industrial application (BKA, MW, BP, FW), pp. 115–125.
MBT-2007-FraserAW #model checking #testing
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers (GF, BKA, FW), pp. 33–46.
SEFM-2007-AichernigPWW #consistency #formal method #industrial #protocol #testing
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods (BKA, BP, MW, FW), pp. 215–226.
FASE-2006-AichernigD #concurrent #fault #testing
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems (BKA, CCD), pp. 324–338.
MBT-2006-AichernigG #modelling #testing
When Model-based Testing Fails (BKA, CG), pp. 115–128.
CSL-2003-Aichernig
The Commuting V-Diagram (BKA), pp. 15–28.
FME-2001-Aichernig #abstraction #testing
Test-Case Calculation through Abstraction (BKA), pp. 571–589.
ICRE-2000-HorlA #communication #requirements #validation
Requirements Validation of a Voice Communication System Used in Air Traffic Control (JH, BKA), p. 190.
FM-v2-1999-HorlA #communication #specification
Formal Specification of a Voice Communication System Used in Air Traffic Control (JH, BKA), p. 1868.
FME-1997-AichernigL #generative #proving
A Proof Obligation Generator for VDM-SL (BKA, PGL), pp. 338–357.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.