LCT: An Open Source Concolic Testing Tool for Java Programs

Reference:

Kari Kähkönen, Tuomas Launiainen, Olli Saarikivi, Janne Kauttio, Keijo Heljanko, and Ilkka Niemelä. LCT: An open source concolic testing tool for Java programs. In Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011), pages 75–80, Saarbrücken, Germany, Mar 2011.

Suggested BibTeX entry:

@inproceedings{DBLP:confbytecodeKahkonenLSKHN11,
    address = {Saarbr{\"u}cken, Germany},
    author = {Kari K{\"a}hk{\"o}nen and Tuomas Launiainen and Olli Saarikivi and Janne Kauttio and Keijo Heljanko and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011)},
    language = {eng},
    month = {Mar},
    pages = {75-80},
    title = {{LCT}: {A}n Open Source Concolic Testing Tool for {J}ava Programs},
    year = {2011},
}