LCT: An Open Source Concolic Testing Tool for Java Programs

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

Organisaatiot

Yksityiskohdat

AlkuperäiskieliEnglanti
Otsikko6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011)
TilaJulkaistu - 2011
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

ID: 519037