Registered user since Thu 30 Jun 2016
Name:Sunbeom So
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