Improving Dynamic Partial Order Reductions for Concolic Testing

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Research units


Original languageEnglish
Title of host publication12th International Conference on Application of Concurrency to System Design (ACSD 2012), June 27-29, Hamburg, Germany
Publication statusPublished - 2012
MoE publication typeA4 Article in a conference publication

    Research areas

  • concolic testing, dynamic partial order reduction, dynamic symbolic execution, sleep sets, software testing, software verification

ID: 642474