2012年2月14日
Invariant Checking - Java Examples Handbook
摘要： These artifacts (Array-Partition, Binary-Search-Tree, Doubly-Linked-List, Sorting, Vector, Binary-Heap, Disjoint-Set, Red-Black-Tree, and Stack) are Java examples targeted to evaluation of Java symbolic execution and test case generation tools such as Kiasan, JPF, and Jcute. Each example is typicall 阅读全文
posted @ 2012-02-14 11:33 zztian 阅读(281) 评论(0) 推荐(0)