| 2008 |
|---|
| 18 | | Kenji Suzuki,
Teruo Higashino,
Andreas Ulrich,
Toru Hasegawa:
Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings
Springer 2008 |
| 17 | | Benjamin Zeiss,
Andreas Ulrich,
Jens Grabowski:
Constructing Test Behavior Models Using Simulated System Answers for the Analysis of Test Behavior Anomalies.
GI Jahrestagung (1) 2008: 177-182 |
| 2007 |
|---|
| 16 | EE | Andreas Ulrich,
Alexandre Petrenko:
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study.
ECMDA-FA 2007: 184-193 |
| 15 | | Andreas Ulrich:
Introducing model-based testing techniques in industrial projects.
Software Engineering (Workshops) 2007: 29-34 |
| 2006 |
|---|
| 14 | EE | Hesham Hallal,
Sergiy Boroday,
Alexandre Petrenko,
Andreas Ulrich:
A formal approach to property testing in causally consistent distributed traces.
Formal Asp. Comput. 18(1): 63-83 (2006) |
| 2004 |
|---|
| 13 | | Alexandre Petrenko,
Andreas Ulrich:
Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
Springer 2004 |
| 2003 |
|---|
| 12 | EE | Andreas Ulrich,
Hesham Hallal,
Alexandre Petrenko,
Sergiy Boroday:
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis.
HICSS 2003: 337 |
| 11 | | Sergiy Boroday,
Hesham Hallal,
Alexandre Petrenko,
Andreas Ulrich:
Formal Modeling of Communication Traces.
ISTA 2003: 97-108 |
| 10 | EE | Hesham Hallal,
Sergiy Boroday,
Andreas Ulrich,
Alexandre Petrenko:
An Automata-Based Approach to Property Testing in Event Traces.
TestCom 2003: 180-196 |
| 2000 |
|---|
| 9 | | Alexandre Petrenko,
Andreas Ulrich:
Verification and Testing of Concurrent Systems with Action Races.
TestCom 2000: 261-280 |
| 1999 |
|---|
| 8 | EE | Andreas Ulrich,
Peter Zimmerer:
International Workshop on Testing Distributed Component-Based Systems.
ICSE 1999: 698 |
| 7 | | Andreas Ulrich,
Hartmut König:
Architectures for Testing Distributed Systems.
IWTCS 1999: 93-108 |
| 1998 |
|---|
| 6 | | Alexandre Petrenko,
Andreas Ulrich,
V. Chapenko:
Using Partial-Orders for Detecting Faults in Concurrent Systems.
IWTCS 1998: 175-190 |
| 1997 |
|---|
| 5 | | Andreas Ulrich,
Hartmut König:
Specification-based Testing of Concurrent Systems.
FORTE 1997: 7-22 |
| 4 | | Andreas Ulrich:
A Description Model to Support Test Suit Derivation for Concurrent Systems.
Kommunikation in Verteilten Systemen 1997: 151-166 |
| 1995 |
|---|
| 3 | | Abdelaziz Guerrouat,
Hartmut König,
Andreas Ulrich:
SELEXPERT - A Knowledge-based Tool for Test Case Selection.
FORTE 1995: 313-328 |
| 2 | | Andreas Ulrich,
Samuel T. Chanson:
An approach to testing distributed software systems.
PSTV 1995: 121-136 |
| 1993 |
|---|
| 1 | | Andreas Ulrich,
Hartmut König:
Test Derivation from LOTOS Using Structure Information.
Protocol Test Systems 1993: 279-293 |
