Not registered as user yet
Name:Jongwook Kim
Affiliation:Korea University
Contributions
| ICSE 2023 | Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile