LCT: An Open Source Concolic Testing Tool for Java Programs

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

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

    Original languageEnglish
    Title of host publication6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011)
    Place of PublicationSaarbrücken
    Pages75-80
    Publication statusPublished - 2011
    MoE publication typeA4 Article in a conference publication

    Cite this