PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ulrich, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
An integrated environment for Spin-based C code checking - Towards bringing model-driven code checking closer to practitioners.

, and . STTT, 21 (3): 267-286 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. Ulrich Palm University of Stuttgart

Prof. Dr. Ulrich Weiß University of Stuttgart

Daniel Ulrich

Dr. Ulrich Guddat University of Stuttgart

Dr. -Ing. Ulrich Eiden University of Stuttgart

 

Other publications of authors with the same name

A formal approach to property testing in causally consistent distributed traces., , , and . Formal Asp. Comput., 18 (1): 63-83 (2006)Architectures for Testing Distributed Systems., and . IWTCS, volume 147 of IFIP Conference Proceedings, page 93-108. Kluwer, (1999)A Description Model to Support Test Suit Derivation for Concurrent Systems.. Kommunikation in Verteilten Systemen, page 151-166. Springer, (1997)Implementing MSC Tests with Quiescence Observation., , and . TestCom/FATES, volume 5826 of Lecture Notes in Computer Science, page 49-65. Springer, (2009)An Automata-Based Approach to Property Testing in Event Traces., , , and . TestCom, volume 2644 of Lecture Notes in Computer Science, page 180-196. Springer, (2003)Model-based testing in industry: a case study with two MBT tools., , , and . AST, page 87-90. ACM, (2010)Sustainable Architectures: A Tester's Perspective.. ECSA Workshops, page 61:1-61:2. ACM, (2015)Test data to reduce the complexity of unit test automation., , , and . AST, page 105-106. ACM, (2011)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., , and . STTT, 16 (3): 215-225 (2014)An approach to testing distributed software systems., and . PSTV, volume 38 of IFIP Conference Proceedings, page 121-136. Chapman & Hall, (1995)