2009 |
31 | EE | Bernhard K. Aichernig,
Jifeng He:
Mutation testing in UTP.
Formal Asp. Comput. 21(1-2): 33-64 (2009) |
2008 |
30 | EE | Rudolf Schlatte,
Bernhard K. Aichernig,
Frank S. de Boer,
Andreas Griesmayer,
Einar Broch Johnsen:
Testing Concurrent Objects with Application-Specific Schedulers.
ICTAC 2008: 319-333 |
29 | EE | Bernhard K. Aichernig,
Martin Weiglhofer,
Franz Wotawa:
Improving Fault-based Conformance Testing.
Electr. Notes Theor. Comput. Sci. 220(1): 63-77 (2008) |
28 | EE | Bernhard K. Aichernig,
Bernhard Beckert:
Software engineering and formal methods.
Software and System Modeling 7(3): 255-256 (2008) |
2007 |
27 | EE | Bernhard K. Aichernig,
Martin Weiglhofer,
Bernhard Peischl,
Franz Wotawa:
Test purpose generation in an industrial application.
A-MOST 2007: 115-125 |
26 | EE | Bernhard K. Aichernig,
Bernhard Peischl,
Martin Weiglhofer,
Franz Wotawa:
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods.
SEFM 2007: 215-226 |
25 | EE | Bernhard K. Aichernig,
Eerke A. Boiten,
John Derrick,
Lindsay Groves:
Preface.
Electr. Notes Theor. Comput. Sci. 187: 1 (2007) |
24 | EE | Bernhard K. Aichernig,
Jifeng He:
Refinement and Test Case Generation in UTP.
Electr. Notes Theor. Comput. Sci. 187: 125-143 (2007) |
23 | EE | Gordon Fraser,
Bernhard K. Aichernig,
Franz Wotawa:
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers.
Electr. Notes Theor. Comput. Sci. 190(2): 33-46 (2007) |
2006 |
22 | EE | Bernhard K. Aichernig,
Carlo Corrales Delgado:
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems.
FASE 2006: 324-338 |
21 | EE | Bernhard K. Aichernig,
Chris George:
When Model-based Testing Fails.
Electr. Notes Theor. Comput. Sci. 164(4): 115-128 (2006) |
2005 |
20 | | Bernhard K. Aichernig,
Bernhard Beckert:
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany
IEEE Computer Society 2005 |
19 | EE | Sun Meng,
Bernhard K. Aichernig,
Zhang Naixiao:
Coalgebraic Component Specification and Verification in RSL.
PDCAT 2005: 424-426 |
18 | EE | Bernhard K. Aichernig,
Percy Antonio Pari Salas:
Test Case Generation by OCL Mutation and Constraint Solving.
QSIC 2005: 64-71 |
17 | EE | Bernhard K. Aichernig,
Jifeng He,
Zhiming Liu,
Mike Reed:
Integrating Theories and Techniques for Program Modelling, Design and Verification.
VSTTE 2005: 291-300 |
16 | EE | Sun Meng,
Bernhard K. Aichernig,
Luís Soares Barbosa,
Zhang Naixiao:
A Coalgebraic Semantic Framework for Component-based Development in UML.
Electr. Notes Theor. Comput. Sci. 122: 229-245 (2005) |
2004 |
15 | EE | Li Dan,
Bernhard K. Aichernig:
Combining Algebraic and Model-Based Test Case Generation.
ICTAC 2004: 250-264 |
14 | EE | Bernhard K. Aichernig,
Reinhold Kainhofer:
Modeling and Validating Hybrid Systems Using VDM and Mathematica
CoRR cs.SE/0407050: (2004) |
2003 |
13 | | Bernhard K. Aichernig,
T. S. E. Maibaum:
Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
Springer 2003 |
12 | EE | Bernhard K. Aichernig:
The Commuting V-Diagram.
CSL 2003: 15-28 |
11 | EE | Bernhard K. Aichernig:
Mutation Testing in the Refinement Calculus.
Formal Asp. Comput. 15(2-3): 280-295 (2003) |
2002 |
10 | EE | Bernhard K. Aichernig:
Contract-Based Testing.
10th Anniversary Colloquium of UNU/IIST 2002: 34-48 |
9 | EE | Bernhard K. Aichernig:
Contract-based mutation testing in the refinement calculus.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
2001 |
8 | EE | Bernhard K. Aichernig:
Test-Case Calculation through Abstraction.
FME 2001: 571-589 |
7 | EE | Bernhard K. Aichernig,
Brigitte Fröhlich,
Andreas Kerschbaumer:
Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas.
J. UCS 7(8): 629-630 (2001) |
6 | EE | Bernhard K. Aichernig:
Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus.
J. UCS 7(8): 710-735 (2001) |
2000 |
5 | EE | Johann Hörl,
Bernhard K. Aichernig:
Requirements Validation of a Voice Communication System Used in Air Traffic Control.
ICRE 2000: 190 |
4 | EE | Johann Hörl,
Bernhard K. Aichernig:
Validating Voice Communication Requirements Using Lightweight Formal Methods.
IEEE Software 17(3): (2000) |
1999 |
3 | EE | Bernhard K. Aichernig:
Automated Black-Box Testing with Abstract VDM Oracles.
SAFECOMP 1999: 250-259 |
2 | EE | Johann Hörl,
Bernhard K. Aichernig:
Formal Specification of a Voice Communication System Used in Air Traffic Control.
World Congress on Formal Methods 1999: 1868 |
1997 |
1 | | Bernhard K. Aichernig,
Peter Gorm Larsen:
A Proof Obligation Generator for VDM-SL.
FME 1997: 338-357 |