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

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)Preserving Distributed Systems' Critical Properties: A Model-Driven Approach., , , , , , and . IEEE Software, 21 (6): 32-40 (2004)Distributed Continuous Quality Assurance Process for Evaluating QoS of Performance-Intensive Software., , , , , , and . Stud. Inform. Univ., 4 (1): 53-72 (2005)A Review of Software Inspections., , and . Advances in Computers, (1996)An empirical study of regression test application frequency., , and . Softw. Test., Verif. Reliab., 15 (4): 257-279 (2005)Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance., , , , and . IEEE Trans. Software Eng., 33 (8): 510-525 (2007)Techniques and processes for improving the quality and performance of open-source software., , , , , and . Software Process: Improvement and Practice, 11 (2): 163-176 (2006)Moving Forward with Combinatorial Interaction Testing., , , , , and . IEEE Computer, 47 (2): 37-45 (2014)Scalable System Environment Caching and Sharing for Distributed Virtual Machines., , , , and . IPDPS Workshops, page 860-867. IEEE Computer Society, (2014)Skoll: Distributed Continuous Quality Assurance., , , , , and . ICSE, page 459-468. IEEE Computer Society, (2004)