Tsong Yueh Chen, Man Fai Lau, K. Y. Sim, Chang-ai Sun. On detecting faults for Boolean expressions. Software Quality Journal, 17(3):245-261, 2009. [doi]
@article{ChenLSS09,
title = {On detecting faults for Boolean expressions},
author = {Tsong Yueh Chen and Man Fai Lau and K. Y. Sim and Chang-ai Sun},
year = {2009},
doi = {10.1007/s11219-008-9064-5},
url = {http://dx.doi.org/10.1007/s11219-008-9064-5},
researchr = {https://researchr.org/publication/ChenLSS09},
cites = {0},
citedby = {0},
journal = {Software Quality Journal},
volume = {17},
number = {3},
pages = {245-261},
}