Learning Component Interfaces with May and Must Abstractions.

Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu

Browse the full CAV paper archive.