Author of the publication

chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications.

, and . APSEC, page 274-. IEEE Computer Society, (1999)

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

Effect of Test Set Minimization on Fault Detection Effectiveness., , , and . ICSE, page 41-50. ACM, (1995)chiProf-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design., and . Computer Performance Evaluation / TOOLS, volume 1786 of Lecture Notes in Computer Science, page 378-381. Springer, (2000)Dynamic Program Slicing., and . PLDI, page 246-256. ACM, (1990)Using SDL to Model an Object-Oriented Real-Time Software Architectural Design., and . ISORC, page 288-295. IEEE Computer Society, (2000)Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application., , , and . COMPSAC, page 522-528. IEEE Computer Society, (1997)Mining System Tests to Aid Software Maintenance., , , , , , , and . Computer, 31 (7): 64-73 (1998)Applying formal description techniques to software architectural design., and . Comput. Commun., 23 (12): 1169-1178 (2000)chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications., and . APSEC, page 274-. IEEE Computer Society, (1999)The first international workshop on automation of software test., , , and . ICSE, page 1028-1029. ACM, (2006)A Tool Suite for Diagnosis and Testing of Software Design Specifications., and . DSN, page 295-304. IEEE Computer Society, (2000)