Sound and Quasi-Complete Detection of Infeasible Test Requirements.

Sbastien Bardin, Mickal Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion

Browse the full ICST paper archive.