基于JPF的类数据流测试生成技术

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于JPF的类数据流测试生成技术

唐春艳;钟　诚

Data-flow Test Generation for Classes with Java PathFinder

TANG Chun-yan; ZHONG Cheng

计算机工程 . 2007, (21): 78 -80 . DOI: 10.3969/j.issn.1000-3428.2007.21.028