Test Derivation from LOTOS Using Structure Information. - Andreas Ulrich; Hartmut König (Protocol Test Systems, 1993)

SELEXPERT - A Knowledge-based Tool for Test Case Selection. - Abdelaziz Guerrouat; Hartmut König; Andreas Ulrich (FORTE, 1995)

An approach to testing distributed software systems. - Andreas Ulrich; Samuel T. Chanson (PSTV, 1995)

Specification-based Testing of Concurrent Systems. - Andreas Ulrich; Hartmut König (FORTE, 1997)

A Description Model to Support Test Suit Derivation for Concurrent Systems. - Andreas Ulrich (Kommunikation in Verteilten Systemen, 1997)

Using Partial-Orders for Detecting Faults in Concurrent Systems. - Alexandre Petrenko; Andreas Ulrich; V. Chapenko (IWTCS, 1998)

Testfallableitung und Testrealisierung in verteilten Systemen. - Andreas Ulrich (Shaker, 1998)

International Workshop on Testing Distributed Component-Based Systems. - Andreas Ulrich; Peter Zimmerer (ICSE, 1999)

Architectures for Testing Distributed Systems. - Andreas Ulrich; Hartmut König (IWTCS, 1999)

International Workshop on Testing Distributed Component-Based Systems. - Andreas Ulrich; Gunther Chrobok-Diening (ACM SIGSOFT Softw. Eng. Notes, 1999)

Verification and Testing of Concurrent Systems with Action Races. - Alexandre Petrenko; Andreas Ulrich (TestCom, 2000)

Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. - Andreas Ulrich; Hesham Hallal; Alexandre Petrenko; Sergiy Boroday (HICSS, 2003)

Formal Modeling of Communication Traces. - Sergiy Boroday; Hesham Hallal; Alexandre Petrenko; Andreas Ulrich (ISTA, 2003)

An Automata-Based Approach to Property Testing in Event Traces. - Hesham Hallal; Sergiy Boroday; Andreas Ulrich; Alexandre Petrenko (TestCom, 2003)

A formal approach to property testing in causally consistent distributed traces. - Hesham Hallal; Sergiy Boroday; Alexandre Petrenko; Andreas Ulrich (Formal Aspects Comput., 2006)

Neuere Entwicklungen im Testbereich der SIEMENS AG - CT SE 1. - Andreas Ulrich; Peter Zimmerer; Andrej Pietschker (Softwaretechnik-Trends, 2006)

Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. - Andreas Ulrich; Alexandre Petrenko (ECMDA-FA, 2007)

Introducing model-based testing techniques in industrial projects. - Andreas Ulrich (Software Engineering (Workshops), 2007)

Test suite consistency verification. - Sergiy Boroday; Alexandre Petrenko; Andreas Ulrich (EWDTS, 2008)

Constructing Test Behavior Models Using Simulated System Answers for the Analysis of Test Behavior Anomalies. - Benjamin Zeiss; Andreas Ulrich; Jens Grabowski (GI Jahrestagung (1), 2008)

Implementing MSC Tests with Quiescence Observation. - Sergiy Boroday; Alexandre Petrenko; Andreas Ulrich (TestCom/FATES, 2009)

Model-based testing in industry: a case study with two MBT tools. - Monalisa Sarma; P. V. R. Murthy; Sylvia Jell; Andreas Ulrich (AST, 2010)

From Scenarios to Test Implementations Via Promela. - Andreas Ulrich; El Hachemi Alikacem; Hesham Hallal; Sergiy Boroday (ICTSS, 2010)

Test data to reduce the complexity of unit test automation. - Guy Collins Ndem; Abbas Tahir; Andreas Ulrich; Helmut Goetz (AST, 2011)

The ETSI Test Description Language TDL and its Application. - Andreas Ulrich; Sylvia Jell; Anjelika Votintseva; Andres Kull (MODELSWARD, 2014)

History, status, and recent trends of the testing and test control notation version 3 (TTCN-3) - With a brief introduction to selected articles from the TTCN-3 user conference 2011. - Jens Grabowski; Ina Schieferdecker; Andreas Ulrich (Int. J. Softw. Tools Technol. Transf., 2014)

Efficient Testing based on Logical Architecture. - Huai Liu; Maria Spichkova; Heinz W. Schmidt; Andreas Ulrich; Horst Sauer; Jan Wieghardt (ASWEC (2), 2015)

Sustainable Architectures: A Tester's Perspective. - Andreas Ulrich (ECSA Workshops, 2015)

Experience report: Formal verification and testing in the development of embedded software. - Andreas Ulrich; Anjelika Votintseva (ISSRE, 2015)

Advances in test generation for testing software and systems - An introduction to selected papers from ICTSS 2013. - Hüsnü Yenigün; Cemal Yilmaz 001; Andreas Ulrich (Int. J. Softw. Tools Technol. Transf., 2016)

Increasing usability of spin-based C code verification using a harness definition language: leveraging model-driven code checking to practitioners. - Daniel Ratiu; Andreas Ulrich (SPIN, 2017)

Test descriptions with ETSI TDL. - Philip Makedonski; Gusztáv Adamis; Martti Käärik; Finn Kristoffersen; Michele Carignani; Andreas Ulrich; Jens Grabowski (Softw. Qual. J., 2019)

An integrated environment for Spin-based C code checking - Towards bringing model-driven code checking closer to practitioners. - Daniel Ratiu; Andreas Ulrich (Int. J. Softw. Tools Technol. Transf., 2019)

Using TDL for Standardised Test Purpose Definitions. - Philip Makedonski; Ilie-Daniel Gheorghe-Pop; Axel Rennoch; Finn Kristoffersen; Bostjan Pintar; Andreas Ulrich (QRS Companion, 2020)

Advances in test automation for software with special focus on artificial intelligence and machine learning. - J. Jenny Li 001; Andreas Ulrich; Xiaoying Bai; Antonia Bertolino (Softw. Qual. J., 2020)