Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

Timotej Kapus, Martin Nowack, Cristian Cadar

Browse the full TAP paper archive.