Seguir
Jiwon Park
Jiwon Park
UC Berkeley
Dirección de correo verificada de berkeley.edu
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–2