Keyword:Pseudo-exhaustive testing

Publications
EasyChair Preprint 8903