/chop-esop-supplementary

Supplementary Materials for Sound and Complete Higher-Order Concolic Testing

Primary LanguageRacket

chop-esop-supplementary

Supplementary Materials for Sound and Complete Higher-Order Concolic Testing

  • Prototype unit tests and system tests: Prototype System Tests
  • Small benchmarks (latest push to the run-bench branch): Simple Benchmarks
  • SCV benchmarks (latest to the run-scv branch): Run SCV Benchmarks