Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations.

Jongwook Kim, Sunbeom So, Hakjoo Oh

Browse the full ICSE paper archive.