Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study.

Abdesselam Lakehal, Ioannis Parissis

Browse the full ICSE paper archive.