Chopped symbolic execution.

David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar

Browse the full ICSE paper archive.