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...

Full description

Bibliographic Details

Published in:	Electronic notes in theoretical computer science Vol. 296; pp. 253 - 259
Main Authors:	Kähkönen, Kari, Saarikivi, Olli, Heljanko, Keijo
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 16.08.2013
Subjects:	Concolic testing distributed testing symbolic execution symbolic execution Concolic testing distributed testing
ISSN:	1571-0661, 1571-0661
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!