Author of the publication

From Scenarios to Test Implementations Via Promela.

, , , and . ICTSS, volume 6435 of Lecture Notes in Computer Science, page 236-249. Springer, (2010)

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. Andreas Bulling University of Stuttgart

InvisibleEye. Dataset, (2024)Related to: Tonsen, Marc, Julian Steil, Yusuke Sugano, Andreas Bulling. 2017. InvisibleEye: Mobile Eye Tracking Using Multiple Low-Resolution Cameras and Learning-Based Gaze Estimation. In Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT) vol. 1, iss. 3, article no. 106. doi: 10.1145/3130971.
 

Other publications of authors with the same name

A Description Model to Support Test Suit Derivation for Concurrent Systems.. Kommunikation in Verteilten Systemen, page 151-166. Springer, (1997)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)Model-based testing in industry: a case study with two MBT tools., , , and . AST, page 87-90. ACM, (2010)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)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)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)Verification and Testing of Concurrent Systems with Action Races., and . TestCom, volume 176 of IFIP Conference Proceedings, page 261-280. Kluwer, (2000)