LCT: An Open Source Concolic Testing Tool for Java Programs

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

Researchers

Research units

Details

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

ID: 519037