Folgen
Jiwon Park
Jiwon Park
UC Berkeley
Bestätigte E-Mail-Adresse bei berkeley.edu
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–2