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á bibliografie

Vydáno v:	Electronic notes in theoretical computer science Ročník 296; s. 253 - 259
Hlavní autoři:	Kähkönen, Kari, Saarikivi, Olli, Heljanko, Keijo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 16.08.2013
Témata:	Concolic testing distributed testing symbolic execution symbolic execution Concolic testing distributed testing
ISSN:	1571-0661, 1571-0661
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!