Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains.

Published in: Haifa Verification Conference (2005)

Keyphrases