Cited By
View all- Shuai ZChen ZMa KLiu KZhang YSun JWang J(2024)Partial Solution Based Constraint Solving Cache in Symbolic ExecutionProceedings of the ACM on Software Engineering10.1145/36608171:FSE(2493-2514)Online publication date: 12-Jul-2024
- Geretto EHohnerlein JGiuffrida CBos Hvan der Kouwe Ev. Gleissenthall K(2023)Triereme: Speeding up hybrid fuzzing through efficient query schedulingProceedings of the 39th Annual Computer Security Applications Conference10.1145/3627106.3627173(56-70)Online publication date: 4-Dec-2023
- Entekhabi SMostowski WMousavi M(2023)Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering versus Constraint SolvingACM Transactions on Software Engineering and Methodology10.1145/362473633:1(1-32)Online publication date: 23-Nov-2023
- Show More Cited By