Learning component interfaces with may and must abstractions (0)

by Rishabh Singh, Dimitra Giannakopoulou, Corina S Pasareanu
Venue:Computer Aided Verification, 22nd International Conference, CAV 2010