@inProceedings{KiKi11a, author={Y.~Kim and M.~Kim}, title="{SCORE}: a Scalable Concolic Testing Tool for Reliable Embedded Software", booktitle="European Software Engineering Conference/Foundations of Software Engineering", pages="420-423", year=2011, month="September 5-9", address="Szeged, Hungary" }