Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs.

Bernard Boigelot, Patrice Godefroid

Browse the full TACAS paper archive.