Cited By
View all- Wang JStevens CKidmose BCohen MBagheri H(2024)Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness FunctionSearch-Based Software Engineering10.1007/978-3-031-64573-0_1(1-17)Online publication date: 2-Jul-2024
- Nan JZichen WJian W(2023)Quantum symbolic executionQuantum Information Processing10.1007/s11128-023-04144-522:10Online publication date: 20-Oct-2023
- Muduli SRoy S(2022)Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzingProceedings of the ACM on Programming Languages10.1145/35633326:OOPSLA2(1236-1263)Online publication date: 31-Oct-2022
- Show More Cited By