@inproceedings{
    SaaKahHel12,
    author = {Saarikivi, Olli and K{\"a}hk{\"o}nen, Kari and Heljanko, Keijo},
    juforank = "1",
    eventtime = "June 27-29",
    doi = "10.1109/ACSD.2012.18",
    isbn = "978-0-7695-4709-1",
    language = "eng",
    title = "Improving Dynamic Partial Order Reductions for Concolic Testing",
    eventlocation = "Hamburg, Germany",
    country = "United States",
    booktitle = "Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD 2012)",
    issn = "1550-4808",
    abstract = "Testing multi-threaded programs is hard due to the state explosion problem arising from the different interleavings of concurrent operations. The dynamic partial order reduction (DPOR) algorithm by Flanagan and Godefroid is one solution to reducing this problem. We present a modification to this algorithm that allows it to exploit the commutativity of read operations and provide further reduction. To enable testing of multi-threaded programs that also take input we show that it is possible to combine DPOR with concolic testing. We have implemented our modified DPOR algorithm in the LCT concolic testing tool. We have also implemented the sleep set algorithm, which can be used along with DPOR to provide further reduction. As the LCT tool was designed for distributed use we have modified the sleep set algorithm for use in a distributed testing client-server setting.",
    month = "June",
    responsibleauthor = {Saarikivi, Olli and K{\"a}hk{\"o}nen, Kari and Heljanko, Keijo},
    url = "http://doi.ieeecomputersociety.org/10.1109/ACSD.2012.18",
    flags = "DC",
    il = "no",
    year = "2012",
    keywords = "concolic testing,dynamic symbolic execution,dynamic partial order reduction,sleep sets,software testing,software verification",
    unitcode = "T306-100",
    impactfactor = "A4",
    pages = "132-141"
}