摘要：
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 阅读全文