Author of the publication

Scenarios, state machines and purpose-driven testing.

, , and . ACM SIGSOFT Software Engineering Notes, 30 (4): 1-5 (2005)

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.

 

Other publications of authors with the same name

Applications of symbolic evaluation., and . Journal of Systems and Software, 5 (1): 15-35 (1985)Towards Discovery, Specification, and Verification of Component Usage., and . ASE, page 331-334. IEEE Computer Society, (1999)Increasing Trustworthiness through Security Testing Support., , and . SocialCom/PASSAT, page 920-925. IEEE Computer Society, (2010)Formality of the Security Specification Process: Benefits Beyond Requirements., , and . HICSS, page 1-6. IEEE Computer Society, (2010)Partition Analysis: A Method Combining Testing and Verification., and . IEEE Trans. Software Eng., 11 (12): 1477-1490 (1985)Supporting Physicians by RE4S: Evaluating Requirements Engineering for Sustainability in the Medical Domain., , and . GREENS, page 36-42. IEEE Computer Society, (2015)Collapse (and other futures) software engineering., , , , and . First Monday, (2015)Scenarios, state machines and purpose-driven testing., , and . ACM SIGSOFT Software Engineering Notes, 30 (4): 1-5 (2005)Research directions in RAIC., and . ACM SIGSOFT Software Engineering Notes, 27 (3): 43-46 (2002)SoBelt: structural and behavioral execution instrumentation tool.. ACM SIGSOFT Software Engineering Notes, 25 (1): 107 (2000)