@inproceedings{
    DBLP:conf/spin/KahkonenLSKHN11,
    author = {K{\"a}hk{\"o}nen, Kari and Launiainen, Tuomas and Saarikivi, Olli and Kauttio, Janne and Heljanko, Keijo and Niemel{\"a}, Ilkka},
    language = "eng",
    title = "{LCT}: {A}n Open Source Concolic Testing Tool for {J}ava Programs",
    ee = "",
    booktitle = "Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011)",
    address = {Saarbr{\"u}cken, Germany},
    corerank = "NA",
    month = "Mar",
    responsibleauthor = {K{\"a}hkonen, Kari and Saarikivi, Olli and Kauttio, Janne and Heljanko, Keijo and Niemel{\"a}, Ilkka},
    url = "http://users.ics.tkk.fi/kepa/publications/",
    unitcode = "T306=99, T312=1",
    flags = "copy DC LIME2 StMcDes HIIT",
    il = "no",
    year = "2011",
    bibsource = "",
    impactfactor = "A4",
    pages = "75-80"
}