Author of the publication

Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs

, and . IEEE Trans. Softw. Eng., 20 (12): 885--899 (1994)
DOI: http://dx.doi.org/10.1109/32.368137

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

Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs, and . IEEE Trans. Softw. Eng., 20 (12): 885--899 (1994)Towards Ensuring Eternal Connectability.. ICSOFT (1), page 07. SciTePress, (2011)Coverage Testing and Reliability Improvement: A Marriage of Convenience?. WEBIST, page 5. SciTePress, (2018)Software Testing Research and Practice.. Abstract State Machines, volume 2589 of Lecture Notes in Computer Science, page 1-21. Springer, (2003)Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?, and . From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 56-66. Springer, (2019)A Generative Approach for the Adaptive Monitoring of SLA in Service Choreographies., , and . ICWE, volume 7977 of Lecture Notes in Computer Science, page 408-415. Springer, (2013)A case study in branch testing automation., , and . J. Syst. Softw., 38 (1): 47-59 (1997)Scope-aided test prioritization, selection and minimization for software reuse., and . J. Syst. Softw., (2017)Real-tiem UML-based performance engineering to aid manager's decisions in multi-project planning., , and . Workshop on Software and Performance, page 251-261. ACM, (2002)Testing Relative to Usage Scope: Revisiting Software Coverage Criteria., and . ACM Trans. Softw. Eng. Methodol., 29 (3): 18:1-18:24 (2020)