A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification -test suite generation. The framework uses UML models as the test inputs for the bounded exhaustive-testing approach. Within a size bound for the metamodel types, JULE enumerates only the set of nonisomorphic models in the form of relational structures. These models are classified into two sets -demonstration and counterexample -using Binary Decision Diagramsdoi:10.1145/1368088.1368212 dblp:conf/icse/BunyakiatiFSC08 fatcat:o7cev5ckdnbslhf2igpb7vkmc4