1.
edu.utep.cs.utjml.canica (UTJML documentation)
HelpViewer, A frame class that displays the tool's web page. ... Canica provides a GUI to various command-line-based JML tools, such as the JML compiler ...
2.
Complete Automation of Unit Testing
Jun 22, 2006 ... A complete automation of program testing involves automating three components of testing: test data selection, test oracle, and test ...
3.
Statistics (JET documentation)
private void, informChange() Informs a change in the statistics to the registered listener ... private Statistics.Counter addRow(JPanel panel, String title, ...
4.
org.multijava.mjdoc.mjdoc_142 (mjc-The MultiJava Compiler)
org.multijava.mjdoc - the mjdoc Main class and adaptor classes; org.multijava.mjc , org.multijava.util and its subpackages - the multijava compiler ...
5.
org.multijava.mjdoc.mjdoc_142 (mjc-The MultiJava Compiler)
org.multijava.mjdoc - the mjdoc Main class and adaptor classes; org.multijava.mjc , org.multijava.util and its subpackages - the multijava compiler ...
6.
org.jmlspecs.samples.table (JML and MultiJava documentation)
org.jmlspecs.samples.table. Interfaces Entry · Table. Classes EntryImplementation · EntryImplementation_JML_Test · EntryImplementation_JML_Test.OneTest ...
7.
Complete Automation of Unit Testing
Jun 22, 2006 ... A prototype tool will be developed to show that a complete automation is not only feasible but also effective for unit testing Java programs ...
8.
edu/utep/cs/utjml/canica/jmleditor/FileAccessable.java - annotate ...
1 angelica 1.1 /** 2 * 3 */ 4 package edu.utep.cs.utjml.canica.jmleditor; 5 6 /** 7 * FileAccessable 8 * interface 9 * 10 * @author Angelica B Perez 11 ...
9.
org.jmlspecs.samples.reader (JML and MultiJava documentation)
org.jmlspecs.samples.reader. Interfaces Reader. Classes BlankReader · BlankReader_JML_Test · BlankReader_JML_Test.OneTest · BlankReader_JML_Test. ...
10.
edu.utep.cs.et.gui.editor.syn Class Hierarchy (JET documentation)
Hierarchy For Package edu.utep.cs.et.gui.editor.syn ... edu.utep.cs.et.gui.editor.syn.DefaultInputHandler.HashEntry; java.util. ...