Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
-
Updated
Apr 1, 2024 - C
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
Toradocu - automated generation of test oracles from Javadoc documentation
Artifact repository for the paper "Perfect Is the Enemy of Test Oracle", In Proceedings of The 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022), Singapore, November 2022
Automatically generate urban-like test cases and evaluate the fuel-inefficiency of any driving behaviour.
Add a description, image, and links to the test-oracles topic page so that developers can more easily learn about it.
To associate your repository with the test-oracles topic, visit your repo's landing page and select "manage topics."