Andreas Ulrich

39 papers A* 1A 1C 6Journal 8Unranked 19

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