A detectability analysis of fault classes for Boolean specifications

Zhenyu Chen, Baowen Xu, Changhai Nie. A detectability analysis of fault classes for Boolean specifications. In Roger L. Wainwright, Hisham Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008. pages 826-830, ACM, 2008. [doi]

Authors

Zhenyu Chen

This author has not been identified. Look up 'Zhenyu Chen' in Google

Baowen Xu

This author has not been identified. Look up 'Baowen Xu' in Google

Changhai Nie

This author has not been identified. Look up 'Changhai Nie' in Google