Andreas Ulrich

Publication Activity (10 Years)

Years Active: 1993-2020
Publications (10 Years): 9

Top Venues

Int. J. Softw. Tools Technol. Transf.

Softw. Qual. J.

ISSRE

MODELSWARD

Otto-von-Guericke University Magdeburg, Germany (PHD)

Education History

Otto-von-Guericke University Magdeburg, Germany

PHD

Publications

Philip Makedonski, Ilie-Daniel Gheorghe-Pop, Axel Rennoch, Finn Kristoffersen, Bostjan Pintar, Andreas Ulrich
Using TDL for Standardised Test Purpose Definitions. QRS Companion (2020)
J. Jenny Li, Andreas Ulrich, Xiaoying Bai, Antonia Bertolino
Advances in test automation for software with special focus on artificial intelligence and machine learning. Softw. Qual. J. 28 (1) (2020)
Daniel Ratiu, Andreas Ulrich
An integrated environment for Spin-based C code checking - Towards bringing model-driven code checking closer to practitioners. Int. J. Softw. Tools Technol. Transf. 21 (3) (2019)
Philip Makedonski, Gusztáv Adamis, Martti Käärik, Finn Kristoffersen, Michele Carignani, Andreas Ulrich, Jens Grabowski
Test descriptions with ETSI TDL. Softw. Qual. J. 27 (2) (2019)
Daniel Ratiu, Andreas Ulrich
Increasing usability of spin-based C code verification using a harness definition language: leveraging model-driven code checking to practitioners. SPIN (2017)
Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich
Advances in test generation for testing software and systems - An introduction to selected papers from ICTSS 2013. Int. J. Softw. Tools Technol. Transf. 18 (3) (2016)
Andreas Ulrich, Anjelika Votintseva
Experience report: Formal verification and testing in the development of embedded software. ISSRE (2015)
Andreas Ulrich
Sustainable Architectures: A Tester's Perspective. ECSA Workshops (2015)
Huai Liu, Maria Spichkova, Heinz W. Schmidt, Andreas Ulrich, Horst Sauer, Jan Wieghardt
Efficient Testing based on Logical Architecture. ASWEC (2) (2015)
Andreas Ulrich, Sylvia Jell, Anjelika Votintseva, Andres Kull
The ETSI Test Description Language TDL and its Application. MODELSWARD (2014)
Jens Grabowski, Ina Schieferdecker, Andreas Ulrich
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. Int. J. Softw. Tools Technol. Transf. 16 (3) (2014)
Guy Collins Ndem, Abbas Tahir, Andreas Ulrich, Helmut Goetz
Test data to reduce the complexity of unit test automation. AST (2011)
Monalisa Sarma, P. V. R. Murthy, Sylvia Jell, Andreas Ulrich
Model-based testing in industry: a case study with two MBT tools. AST (2010)
Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday
From Scenarios to Test Implementations Via Promela. ICTSS (2010)
Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
Implementing MSC Tests with Quiescence Observation. TestCom/FATES (2009)
Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
Test suite consistency verification. EWDTS (2008)
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)
Andreas Ulrich, Alexandre Petrenko
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. ECMDA-FA (2007)
Andreas Ulrich
Introducing model-based testing techniques in industrial projects. Software Engineering (Workshops) (2007)
Andreas Ulrich, Peter Zimmerer, Andrej Pietschker
Neuere Entwicklungen im Testbereich der SIEMENS AG - CT SE 1. Softwaretechnik-Trends 26 (1) (2006)
Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
A formal approach to property testing in causally consistent distributed traces. Formal Aspects Comput. 18 (1) (2006)
Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko
An Automata-Based Approach to Property Testing in Event Traces. TestCom (2003)
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich
Formal Modeling of Communication Traces. ISTA (2003)
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS (2003)
Alexandre Petrenko, Andreas Ulrich
Verification and Testing of Concurrent Systems with Action Races. TestCom (2000)
Andreas Ulrich, Gunther Chrobok-Diening
International Workshop on Testing Distributed Component-Based Systems. ACM SIGSOFT Softw. Eng. Notes 24 (4) (1999)
Andreas Ulrich, Peter Zimmerer
International Workshop on Testing Distributed Component-Based Systems. ICSE (1999)
Andreas Ulrich, Hartmut König
Architectures for Testing Distributed Systems. IWTCS (1999)
Alexandre Petrenko, Andreas Ulrich, V. Chapenko
Using Partial-Orders for Detecting Faults in Concurrent Systems. IWTCS (1998)
Andreas Ulrich
A Description Model to Support Test Suit Derivation for Concurrent Systems. Kommunikation in Verteilten Systemen (1997)
Andreas Ulrich, Hartmut König
Specification-based Testing of Concurrent Systems. FORTE (1997)
Andreas Ulrich, Samuel T. Chanson
An approach to testing distributed software systems. PSTV (1995)
Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich
SELEXPERT - A Knowledge-based Tool for Test Case Selection. FORTE (1995)
Andreas Ulrich, Hartmut König
Test Derivation from LOTOS Using Structure Information. Protocol Test Systems (1993)

Andreas Ulrich.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andreas Ulrich