Taking full advantage of function summary from interprocedural calls to get rid of the path explosion issue,a new Concolic testing method based on function summary is introduced.Function summary is generated by Concolic testing on interprocedural calls,it composes of the returned results and path conditions.Expansion test is replaced with function summary in the proposed method when dealing with the same interprocedural calls,that will prevent the repeated tests on interprocedural calls in traditional Conco...
| 
推荐 
点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。
