METAMON uses EvoSuite-generated regression tests and metamorphic LLM prompts to flag test oracles that contradict method documentation, reaching 0.72 precision and 0.48 recall on Defects4J-derived pairs.
@ tcomment: Testing javadoc comments to detect comment-code inconsistencies,
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
-
METAMON: Finding Inconsistencies between Program Documentation and Behavior using Metamorphic LLM Queries
METAMON uses EvoSuite-generated regression tests and metamorphic LLM prompts to flag test oracles that contradict method documentation, reaching 0.72 precision and 0.48 recall on Defects4J-derived pairs.