LCT: An Open Source Concolic Testing Tool for Java Programs

Kari Kähkönen, Tuomas Launiainen, Olli Saarikivi, Janne Kauttio, Keijo Heljanko, Ilkka Niemelä

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

Alkuperäiskieli	Englanti
Otsikko	6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011)
Julkaisupaikka	Saarbrücken
Sivut	75-80
Tila	Julkaistu - 2011
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa

OpenUrl-saatavuus

@inproceedings{f32bfb3ac36f41e4a1acc0fefd1224db,

title = "LCT: An Open Source Concolic Testing Tool for Java Programs",

author = "Kari K{\"a}hk{\"o}nen and Tuomas Launiainen and Olli Saarikivi and Janne Kauttio and Keijo Heljanko and Ilkka Niemel{\"a}",

note = "VK: stmcdes lime2 dc hiit",

year = "2011",

language = "English",

pages = "75--80",

booktitle = "6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011)",

}

TY - GEN

T1 - LCT: An Open Source Concolic Testing Tool for Java Programs

AU - Kähkönen, Kari

AU - Launiainen, Tuomas

AU - Saarikivi, Olli

AU - Kauttio, Janne

AU - Heljanko, Keijo

AU - Niemelä, Ilkka

N1 - VK: stmcdes lime2 dc hiit

PY - 2011

Y1 - 2011

UR - http://users.ics.tkk.fi/ktkahkon/KahLauSaaKauHelNie-BYTECODE2011.pdf

UR - http://users.ics.aalto.fi/ktkahkon/slides/bytecode2011.pdf

M3 - Conference contribution

SP - 75

EP - 80

BT - 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011)

CY - Saarbrücken

ER -