This release adds a new, semantic-based, translation engine to translate Javadoc comments into procedure specifications.
This release also contains many changes to the code base. The two major changes are:
- Toradocu does no longer rely on the Javadoc tool to extract information from source code.
- Toradocu verifies generated conditions to avoid spurious results.
- Toradocu integrates with Randoop, an automatic test case generator.