Paulo Marcos Siqueira Bueno, Mario Jino. Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data. In Fifteenth IEEE International Conference on Automated Software Engineering. ASE, pages 209-218, IEEE, 2000. [doi]
Abstract is missing.