JUDOT generates unit tests by using formal contracts extracted from Javadoc comments as search-based fitness functions, and reports testing 14.8% more documented behaviors and finding 45 real bugs in 118 Java classes.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Automated Test Generation from Program Documentation Encoded in Code Comments
JUDOT generates unit tests by using formal contracts extracted from Javadoc comments as search-based fitness functions, and reports testing 14.8% more documented behaviors and finding 45 real bugs in 118 Java classes.