Oasis : Concolic Execution Driven by Test Suites and Code Modifications

  title={Oasis : Concolic Execution Driven by Test Suites and Code Modifications},
  author={Olivier Crameri and Rekha Bachwani and Tim Brecht and Ricardo Bianchini and Dejan Kostic and Willy Zwaenepoel},
Testing remains an important aspect of checking software correctness. Manually constructed test suites are one option: they typically complete quickly, but they require human involvement in producing test cases, and their coverage may be limited. Recently, symbolic execution and concolic execution have been investigated as alternatives to test suites. These approaches require little manual intervention, and coverage can in theory be complete. However, their running times may be prohibitive for… CONTINUE READING


Publications referenced by this paper.

Similar Papers

Loading similar papers…