Structural test coverage criteria for lustre programs.

Abdesselam Lakehal, Ioannis Parissis

Browse the full FMICS paper archive.