Building reliable systems: software testing and analysis.

John Salasin

Browse the full COMPSAC paper archive.