| * | 2009 |
|---|
| 35 | EE | Andreas Griesmayer,
Bernhard K. Aichernig,
Einar Broch Johnsen,
Rudolf Schlatte:
Dynamic Symbolic Execution of Distributed Concurrent Objects.
FMOODS/FORTE 2009: 225-230 |
| 34 | EE | Andreas Griesmayer,
Bernhard K. Aichernig,
Einar Broch Johnsen,
Rudolf Schlatte:
Dynamic Symbolic Execution for Testing Distributed Objects.
TAP 2009: 105-120 |
| 33 | EE | Bernhard K. Aichernig,
Farhad Arbab,
Lacramioara Astefanoaei,
Frank S. de Boer,
Sun Meng,
Jan J. M. M. Rutten:
Fault-Based Test Case Generation for Component Connectors.
TASE 2009: 147-154 |
| 32 | EE | Bernhard K. Aichernig,
Jifeng He:
Mutation testing in UTP.
Formal Asp. Comput. 21(1-2): 33-64 (2009) |
| 2008 |
|---|
| 31 | EE | Bernhard K. Aichernig,
Andreas Griesmayer,
Einar Broch Johnsen,
Rudolf Schlatte,
Andries Stam:
Conformance Testing of Distributed Concurrent Systems with Executable Designs.
FMCO 2008: 61-81 |
| 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 | EE | Bernhard K. Aichernig,
Peter Gorm Larsen:
A Proof Obligation Generator for VDM-SL.
FME 1997: 338-357 |
