Andreas Ulrich

According to our database, Andreas Ulrich authored at least 35 papers between 1993 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Advances in test automation for software with special focus on artificial intelligence and machine learning.

J. Jenny Li, Andreas Ulrich, Xiaoying Bai, Antonia Bertolino

Softw. Qual. J., 2020

Using TDL for Standardised Test Purpose Definitions.

Philip Makedonski, Ilie-Daniel Gheorghe-Pop, Axel Rennoch, Finn Kristoffersen, Bostjan Pintar, Andreas Ulrich

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

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

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

2017

Increasing usability of spin-based C code verification using a harness definition language: leveraging model-driven code checking to practitioners.

Daniel Ratiu, Andreas Ulrich

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2016

Advances in test generation for testing software and systems - An introduction to selected papers from ICTSS 2013.

Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich

Int. J. Softw. Tools Technol. Transf., 2016

2015

Experience report: Formal verification and testing in the development of embedded software.

Andreas Ulrich, Anjelika Votintseva

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Sustainable Architectures: A Tester's Perspective.

Andreas Ulrich

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Efficient Testing based on Logical Architecture.

Huai Liu, Maria Spichkova, Heinz W. Schmidt, Andreas Ulrich, Horst Sauer, Jan Wieghardt

Proceedings of the 24th Australasian Software Engineering Conference, 2015

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

The ETSI Test Description Language TDL and its Application.

Andreas Ulrich, Sylvia Jell, Anjelika Votintseva, Andres Kull

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2011

Test data to reduce the complexity of unit test automation.

Guy Collins Ndem, Abbas Tahir, Andreas Ulrich, Helmut Goetz

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

2010

From Scenarios to Test Implementations Via Promela.

Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday

Proceedings of the Testing Software and Systems, 2010

Model-based testing in industry: a case study with two MBT tools.

Monalisa Sarma, P. V. R. Murthy, Sylvia Jell, Andreas Ulrich

Proceedings of the 5th Workshop on Automation of Software Test, 2010

2009

Implementing MSC Tests with Quiescence Observation.

Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich

Proceedings of the Testing of Software and Communication Systems, 2009

2008

Constructing Test Behavior Models Using Simulated System Answers for the Analysis of Test Behavior Anomalies.

Benjamin Zeiss, Andreas Ulrich, Jens Grabowski

Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

Test suite consistency verification.

Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich

Proceedings of the 2008 East-West Design & Test Symposium, 2008

2007

Introducing model-based testing techniques in industrial projects.

Andreas Ulrich

Proceedings of the Software Engineering 2007, 2007

Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study.

Andreas Ulrich, Alexandre Petrenko

Proceedings of the Model Driven Architecture, 2007

2006

Neuere Entwicklungen im Testbereich der SIEMENS AG - CT SE 1.

Andreas Ulrich, Peter Zimmerer, Andrej Pietschker

Softwaretechnik-Trends, 2006

A formal approach to property testing in causally consistent distributed traces.

Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich

Formal Aspects Comput., 2006

2003

An Automata-Based Approach to Property Testing in Event Traces.

Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

Formal Modeling of Communication Traces.

Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich

Proceedings of the Information Systems Technology and its Applications, 2003

Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis.

Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

2000

Verification and Testing of Concurrent Systems with Action Races.

Alexandre Petrenko, Andreas Ulrich

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13^th International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

1999

International Workshop on Testing Distributed Component-Based Systems.

Andreas Ulrich, Gunther Chrobok-Diening

ACM SIGSOFT Softw. Eng. Notes, 1999

Architectures for Testing Distributed Systems.

Andreas Ulrich, Hartmut König

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

International Workshop on Testing Distributed Component-Based Systems.

Andreas Ulrich, Peter Zimmerer

Proceedings of the 1999 International Conference on Software Engineering, 1999

1998

Testfallableitung und Testrealisierung in verteilten Systemen.

Andreas Ulrich

PhD thesis, 1998

Using Partial-Orders for Detecting Faults in Concurrent Systems.

Alexandre Petrenko, Andreas Ulrich, V. Chapenko

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

1997

A Description Model to Support Test Suit Derivation for Concurrent Systems.

Andreas Ulrich

Proceedings of the Kommunikation in Verteilten Systemen, 1997

Specification-based Testing of Concurrent Systems.

Andreas Ulrich, Hartmut König

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1995

An approach to testing distributed software systems.

Andreas Ulrich, Samuel T. Chanson

Proceedings of the Protocol Specification, 1995

SELEXPERT - A Knowledge-based Tool for Test Case Selection.

Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich

Proceedings of the Formal Description Techniques VIII, 1995

1993

Test Derivation from LOTOS Using Structure Information.

Andreas Ulrich, Hartmut König

Proceedings of the Protocol Test Systems, 1993