JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit. - Guoqing Xu; Zongyuang Yang (FATES, 2003)