Login / Signup

Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE.

Yunho KimMoonzoo KimYoung Joo KimYoonkyu Jang
Published in: ICSE (2012)
Keyphrases
  • industrial applications
  • simplex method
  • linear programming
  • linear program
  • case study
  • artificial intelligence
  • test bed
  • industrial systems
  • neural network
  • evolutionary algorithm
  • test cases