( en | de | ru )

 

Disambiguation of "Ulrich, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
Constructing Test Behavior Models Using Simulated System Answers for the Analysis of Test Behavior Anomalies.

, , and . GI Jahrestagung (1), volume P-133 of LNI, page 177-182. GI, (2008)

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.

Andreas Ulrich

Andreas Ulrich

Ulrich Andreas

Andreas Ulrich

Andreas Ulrich

 

Other publications of authors with the same name

Using Partial-Orders for Detecting Faults in Concurrent Systems., , and . IWTCS, volume 131 of IFIP Conference Proceedings, page 175-190. Kluwer, (1998)Using TDL for Standardised Test Purpose Definitions., , , , , and . QRS Companion, page 514-521. IEEE, (2020)Experience report: Formal verification and testing in the development of embedded software., and . ISSRE, page 293-302. IEEE Computer Society, (2015)Verification and Testing of Concurrent Systems with Action Races., and . TestCom, volume 176 of IFIP Conference Proceedings, page 261-280. Kluwer, (2000)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 2008, Proceedings, , , and . Springer, (2008)A Description Model to Support Test Suit Derivation for Concurrent Systems.. Kommunikation in Verteilten Systemen, page 151-166. Springer, (1997)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)Implementing MSC Tests with Quiescence Observation., , and . TestCom/FATES, volume 5826 of Lecture Notes in Computer Science, page 49-65. Springer, (2009)Model-based testing in industry: a case study with two MBT tools., , , and . AST, page 87-90. ACM, (2010)