Behaviour Model Synthesis from Properties and Scenarios.

Sebastin Uchitel, Greg Brunet, Marsha Chechik

Browse the full ICSE paper archive.