Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring.

Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas

Browse the full ISoLA paper archive.