Human-in-the-loop oracle learning for semantic bugs in string processing programs.

Charaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, Marcel Bhme

Browse the full ISSTA paper archive.