An Approach of Locating Minimal Failure-Causing Schema for Boolean-Specifications.

Tianyu Xu, Guanglin Li, Jun Lu, Ziyuan Wang

Browse the full QRS paper archive.