Improving Dynamic Partial Order Reductions for Concolic Testing (2012)
AUTHORS:
Saarikivi Olli
,
Kähkönen Kari
,
Heljanko Keijo
BOOKTITLE:
Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD 2012)
PAGES:
132-141
URL:
http://doi.ieeecomputersociety.org/10.1109/ACSD.2012.18
@inproceedings{ SaaKahHel12, author = "Saarikivi, Olli and Kähkönen, Kari and Heljanko, Keijo", juforank = "1", eventtime = "June 27-29", isbn = "978-0-7695-4709-1", language = "eng", title = "Improving Dynamic Partial Order Reductions for Concolic Testing", url = "http://doi.ieeecomputersociety.org/10.1109/ACSD.2012.18", country = "USA", booktitle = "Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD 2012)", corerank = "B", responsibleauthor = "Olli Saarikivi, Kari Kähkönen, Keijo Heljanko", ee = "http://doi.ieeecomputersociety.org/10.1109/ACSD.2012.18", flags = "copy DC", il = "no", year = "2012", unitcode = "T306-100", impactfactor = "A4", pages = "132-141", eventlocation = "Hamburg, Germany" }