Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains

Lecture Notes in Computer Science - Hardware and Software, Verification and Testing ◽

10.1007/11678779_11 ◽

2006 ◽

pp. 149-157

Author(s):

Yosi Ben-Asher ◽

Igor Breger ◽

Eitan Farchi ◽

Ilia Gordon

Download Full-text