Structural Statistical Software Testing with Active Learning in a Graph.

Nicolas Baskiotis, Michle Sebag

Browse the full ILP paper archive.