LCT: An Open Source Concolic Testing Tool for Java Programs (2011)
AUTHORS:
Kähkönen Kari
,
Launiainen Tuomas,
Saarikivi Olli
,
Kauttio Janne,
Heljanko Keijo
,
Niemelä Ilkka
BOOKTITLE:
Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011)
PAGES:
75-80
URL:
http://users.ics.tkk.fi/ktkahkon/KahLauSaaKauHelNie-BYTECODE2011.pdf
@inproceedings{ DBLP:conf/bytecode/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}, unitcode = "T306=99,T312=1", month = "Mar", responsibleauthor = {K{\"a}hk{\"o}nen, Kari and Launiainen, Tuomas and Saarikivi, Olli and Kauttio, Janne and Heljanko, Keijo and Niemel{\"a}, Ilkka}, url = "http://users.ics.tkk.fi/ktkahkon/KahLauSaaKauHelNie-BYTECODE2011.pdf", corerank = "NA", flags = "DC LIME2 StMcDes HIIT", year = "2011", bibsource = "", li = "no", impactfactor = "A4", pages = "75-80" }