'Concolic testing' presentation slideshows

CSEP504: Advanced topics in software systems

1.07k views • 92 slides

Hybrid Concolic Testing

839 views • 48 slides

Industrial Application of Concolic Testing to Detect Crash Bugs - A Case Study on libexif

Industrial Application of Concolic Testing to Detect Crash Bugs - A Case Study on libexif. Yunho Kim, Moonzoo Kim, YoungJoo Kim, and Yoonkyu Jang Provable SW Lab, KAIST, Samsung Electronics South Korea. Content. Motivation and project scope libexif case study

244 views • 24 slides

CS492: Automated Software Analysis Techniques

CS492: Automated Software Analysis Techniques. Moonzoo Kim Software Testing and Verification Group CS Dept. KAIST. Role of S/W: Increased in Everywhere. F-35 (8 Mloc). 2012 ?. ???? : Watts Humphrey 2002. Social and Economic Loss due to High Complexity of SW.

239 views • 23 slides

Software Testing & Verification Group

Software Testing & Verification Group. Moonzoo Kim http://swtv.kaist.ac.kr. Main Research Theme. To Improve SW reliability through automated testing Quality attribute for minimizing malfunctions of systems to reduces damage to human life or valuable properties (i.e., to fight software bug)

192 views • 18 slides