KK11a.bib
KK11a.bib — Bibtex bibliographic data, 329 bytes
File contents
@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" }