Activity for Java-HCThttps://sourceforge.net/p/java-hct/activity/Recent activity for Java-HCTenFri, 11 Mar 2016 15:43:02 -0000Java-HCT released /hydrib_concolic_testing.jarhttps://sourceforge.nethttps%3A//sourceforge.net/projects/java-hct/files/hydrib_concolic_testing.jar/downloadJava-HCTFri, 11 Mar 2016 15:43:02 -0000https://sourceforge.net/projects/java-hct/files/hydrib_concolic_testing.jar/downloadJava-HCT released /README.TXThttps://sourceforge.nethttps%3A//sourceforge.net/projects/java-hct/files/README.TXT/downloadJava-HCTFri, 11 Mar 2016 15:43:02 -0000https://sourceforge.net/projects/java-hct/files/README.TXT/downloadJava-HCT released /Java HCT-1.0-BETA-install.txthttps://sourceforge.nethttps%3A//sourceforge.net/projects/java-hct/files/Java%2520HCT-1.0-BETA-install.txt/downloadJava-HCTFri, 11 Mar 2016 15:43:02 -0000https://sourceforge.net/projects/java-hct/files/Java%20HCT-1.0-BETA-install.txt/download