Author of the publication

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 Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability., , and . International Journal of Software Engineering and Knowledge Engineering, 21 (2): 259-288 (2011)Generating test data from SOFL specifications., and . Journal of Systems and Software, 49 (1): 49-62 (1999)SOFL: A Formal Engineering Methodology for Industrial Applications., , , , and . IEEE Trans. Software Eng., 24 (1): 24-45 (1998)An Empirical Study on a Specification-Based Program Review Approach., , and . DepCoS-RELCOMEX, page 199-206. IEEE Computer Society, (2006)Automatic Specification-Based Testing: Challenges and Possibilities.. TASE, page 5-8. IEEE Computer Society, (2011)Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility.. HASE, page 349-356. IEEE Computer Society, (2007)A Formal Specification-Based Testing Approach to Accurate Web Service Selection., and . APSCC, page 259-266. IEEE Computer Society, (2011)Utilizing Formalization to Test Programs without Available Source Code (Short Paper).. QSIC, page 216-221. IEEE Computer Society, (2008)Criteria for Generating Specification-Based Tests., , and . ICECCS, page 119-. IEEE Computer Society, (1999)A Framework for SOFL-Based Program Review., , and . ICECCS, page 6-7. IEEE Computer Society, (2005)