@inproceedings{SaaKahHel12,
author = {Olli Saarikivi and Kari K{\"a}hk{\"o}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},
}