Author of the publication

Preventing untestedness in data-flow based testing.

, and . Softw. Test. Verification Reliab., 12 (1): 29-58 (2002)

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

Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis.. ACM Trans. Softw. Eng. Methodol., 3 (1): 29-55 (1994)An Efficient Relevant Slicing Method for Debugging., , and . ESEC / SIGSOFT FSE, volume 1687 of Lecture Notes in Computer Science, page 303-321. Springer, (1999)Feasible Test Path Selection by Principal Slicing., and . ESEC / SIGSOFT FSE, volume 1301 of Lecture Notes in Computer Science, page 378-394. Springer, (1997)An Applicable Test Data Generation Algorithm for Domain Errors., and . ISSTA, page 63-72. ACM, (1998)The All Program Functions Criterion for Revealing Computation Errors (Abstract).. ISSTA, page 198. ACM, (1994)Preventing untestedness in data-flow based testing., and . Softw. Test. Verification Reliab., 12 (1): 29-58 (2002)A New Concept of Effective Regression Test Generation in a C++ Specific Environment., , , and . Acta Cybern., 18 (3): 481-501 (2008)An Exact Array Reference Analysis for Data Flow Testing.. ICSE, page 565-574. IEEE Computer Society, (1996)The Precise Determination of Definition-Use Pairs in the Interprocedural Case.. IFIP Congress (1), volume A-12 of IFIP Transactions, page 200-209. North-Holland, (1992)A demand-driven approach to slicing legacy COBOL systems., and . J. Softw. Maintenance Res. Pract., 24 (1): 67-82 (2012)