LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

LIME Concolic Tester (LCT) is an open source automated testing tool that allows testing both sequential and multithreaded Java programs. The tool uses concolic testing to handle input values and dynamic partial order reduction (DPOR) combined with sleep sets to avoid exploring unnecessary interleavi...

Celý popis

Podrobná bibliografia

Vydané v:	Electronic notes in theoretical computer science Ročník 296; s. 253 - 259
Hlavní autori:	Kähkönen, Kari, Saarikivi, Olli, Heljanko, Keijo
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 16.08.2013
Predmet:	Concolic testing distributed testing symbolic execution symbolic execution Concolic testing distributed testing
ISSN:	1571-0661, 1571-0661
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!