オープンソースのTestingツールとか

メモ
sourceforgeより．

この中で，アクティビティトップはJavaPathfinderなんだな．

1. JavaPathFinder - Java PathFinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an explicit state software model checker.