LCT: An Open Source Concolic Testing Tool for Java Programs

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

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

Organisaatiot

Yksityiskohdat

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

ID: 519037