运用抽象技术和JPF生成类测试用例方法

运用抽象技术和JPF生成类测试用例方法

闫铁，钟诚，赵艳

Generating class test case using abstraction technique and Java pathfinder

YAN Tie，ZHONG Cheng，ZHAO Yan

计算机工程与应用 . 2009, (23): 78 -81 . DOI: 10.3778/j.issn.1002-8331.2009.23.022