Empirical design bugs prediction for verification
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Qi Guo, Tianshi Chen, Haihua Shen, Yunji Chen, Yue Wu, Weiwu Hu
Empirical design bugs prediction for verification
DATE, 2011.

DATE 2011
Full names Links ISxN
	author        = "Qi Guo and Tianshi Chen and Haihua Shen and Yunji Chen and Yue Wu and Weiwu Hu",
	booktitle     = "{Proceedings of the 15th Conference on Design, Automation and Test in Europe}",
	isbn          = "978-1-61284-208-0",
	pages         = "161--166",
	publisher     = "{IEEE}",
	title         = "{Empirical design bugs prediction for verification}",
	year          = 2011,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.