Author of the publication

Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report).

, , , , and . ICSE, page 525-535. ACM, (1997)

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

A Controlled Experiment in Maintenance Comparing Design Patterns to Simpler Solutions., , , , and . IEEE Trans. Software Eng., 27 (12): 1134-1144 (2001)A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller., , , , , , and . DSN, page 225-234. IEEE Computer Society, (2001)By the way, has anyone studied any real programmers yet?. ISPW, page 93-95. IEEE Computer Society, (1994)Parallel Changes in Large Scale Software Development: An Observational Case Study., , and . ICSE, page 251-260. IEEE Computer Society, (1998)An experiment to assess cost-benefits of inspection meetings and their alternatives: a pilot study., , , and . IEEE METRICS, page 100-111. IEEE Computer Society, (1996)Taking the Mystery Out of Experimental Design.. IEEE METRICS, page 180. IEEE Computer Society, (1998)Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment., , and . IEEE Trans. Software Eng., 21 (6): 563-575 (1995)Estimating Software Fault Content Before Coding, , , , and . Proceedings of the 14th International Conference on Software engineering, page 59--65. (May 1992)Prototyping A Process Monitoring Experiment, , and . IEEE Trans\-actions on Soft\-ware Engin\-eering, 20 (10): 774--784 (1994)Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report)., , , , and . ICSE, page 525-535. ACM, (1997)