Accelerating array constraints in symbolic execution.

David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar

Browse the full ISSTA paper archive.