@article{曾一_92, author = {[曾一, 刘青香, 王翠钦, 洪豪]}, title = {带OCL约束的多态路径测试线索生成方法}, publisher = {计算机工程}, year = {2013}, journal = {计算机工程}, volume = {39}, number = {8}, eid = {92}, pages = {92-96,102}, keywords = {统一建模语言;对象约束语言;多态性;协作图;消息间受限控制流图;测试线索}, doi = http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2013.08.019 }