LCT: An Open Source Concolic Testing Tool for Java Programs

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Standard

LCT: An Open Source Concolic Testing Tool for Java Programs. / Kähkönen, Kari; Launiainen, Tuomas; Saarikivi, Olli; Kauttio, Janne; Heljanko, Keijo; Niemelä, Ilkka.

6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011). Saarbrücken, 2011. p. 75-80.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Harvard

Kähkönen, K, Launiainen, T, Saarikivi, O, Kauttio, J, Heljanko, K & Niemelä, I 2011, LCT: An Open Source Concolic Testing Tool for Java Programs. in 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011). Saarbrücken, pp. 75-80.

APA

Kähkönen, K., Launiainen, T., Saarikivi, O., Kauttio, J., Heljanko, K., & Niemelä, I. (2011). LCT: An Open Source Concolic Testing Tool for Java Programs. In 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011) (pp. 75-80). Saarbrücken.

Vancouver

Kähkönen K, Launiainen T, Saarikivi O, Kauttio J, Heljanko K, Niemelä I. LCT: An Open Source Concolic Testing Tool for Java Programs. In 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011). Saarbrücken. 2011. p. 75-80

Author

Kähkönen, Kari ; Launiainen, Tuomas ; Saarikivi, Olli ; Kauttio, Janne ; Heljanko, Keijo ; Niemelä, Ilkka. / LCT: An Open Source Concolic Testing Tool for Java Programs. 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011). Saarbrücken, 2011. pp. 75-80

Bibtex - Download

@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)",

}

RIS - Download

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 -

ID: 519037