@article{曾红卫_1121, author = {[曾红卫, 缪淮扣, null, null]}, title = {模型检验在构件数据流测试中的应用}, publisher = {计算机科学与探索}, year = {2010}, journal = {计算机科学与探索}, volume = {4}, number = {12}, eid = {1121}, pages = {1121-1130}, keywords = {构件; 数据流测试; 模型检验; 陷阱性质}, doi = http://fcst.ceaj.org/CN/10.3778/j.issn.1673-9418.2010.12.007 }