Follow
Jiwon Park
Jiwon Park
Verified email at berkeley.edu
Title
Cited by
Cited by
Year
Generative Type-Aware Mutation for Testing SMT Solvers
J PARK, D WINTERER, C ZHANG, Z SU
272021
SMT solver testing with type and grammar based mutation
J Park
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–2