Improving Dynamic Partial Order Reductions for Concolic Testing

Reference:

Olli Saarikivi, Kari Kähkönen, and Keijo Heljanko. Improving dynamic partial order reductions for concolic testing. In Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD 2012), pages 132–141, 2012.

Suggested BibTeX entry:

@inproceedings{SaaKahHel12,
    author = {Olli Saarikivi and Kari Kähkönen and Keijo Heljanko},
    booktitle = {Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD 2012)},
    language = {eng},
    pages = {132-141},
    title = {Improving Dynamic Partial Order Reductions for Concolic Testing},
    year = {2012},
}