test-oracles topic
List
test-oracles repositories
toradocu
42
Stars
21
Forks
Watchers
Toradocu - automated generation of test oracles from Javadoc documentation
LTL-Fuzzer
56
Stars
7
Forks
56
Watchers
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)