A formal analysis of requirements-based testing.

Charles Pecheur, Franco Raimondi, Guillaume Brat

Browse the full ISSTA paper archive.