[资源介绍]
Massoni - JmlOk2
A tool for detect and categorize nonconformances in Contract-Based Programs
What is JmlOk2?
JmlOk2 is a tool that detects nonconformances between Java code and JML specification through the feedback-directed random tests generation.
Also, JmlOk2 is a tool that suggests likely causes for
- JMLOK 2.0 - 通过反馈导向的随机测试生成检测代码与 JML 规范之间的不一致性，并为每个检测到的非一致性提出可能的原因。(仅 GPL-3.0 许可)
