Group: nz.ac.waikato.modeljunit - All Dependencies

ModelJUnit · Java library and GUI for supporting Model-Based Testing. The models are extended finite state machines (EFSM) that are written in Java.

Parameter Editor · A tool for editing test parameters and suggesting additional parameter values. It provides several heuristics (including PairWise and MC/DC) for analyzing a set of input tuples and suggesting missing/extra values.