Specification Mining with Few False Positives.

Claire Le Goues, Westley Weimer

Browse the full TACAS paper archive.