Learning Centre

LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en
dc.contributor.author Kähkönen, Kari
dc.contributor.author Saarikivi, Olli
dc.contributor.author Heljanko, Keijo
dc.date.accessioned 2017-05-03T12:02:46Z
dc.date.available 2017-05-03T12:02:46Z
dc.date.issued 2013
dc.identifier.citation Kähkönen , K , Saarikivi , O & Heljanko , K 2013 , ' LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs ' , ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , vol. 296 , pp. 253-259 . https://doi.org/10.1016/j.entcs.2013.09.002 en
dc.identifier.issn 1571-0661
dc.identifier.other PURE UUID: 40003d29-a068-4c4d-94f4-e48eb30ad4a1
dc.identifier.other PURE ITEMURL: https://research.aalto.fi/en/publications/40003d29-a068-4c4d-94f4-e48eb30ad4a1
dc.identifier.other PURE FILEURL: https://research.aalto.fi/files/11693790/1_s2.0_S1571066113000480_main.pdf
dc.identifier.uri https://aaltodoc.aalto.fi/handle/123456789/25378
dc.description VK: stmcdes dc hiit
dc.description.abstract 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 interleavings of threads. The LCT tool has been designed for distributed use where the SMT constraint solving and test execution can be distributed to multiple processes on a network of workstations. In this paper we describe the architecture behind the tool and how it allows distributing concolic testing with DPOR and sleep set algorithms. This allows different execution paths of a given program to be tested in parallel. We evaluate the architecture and distributed algorithms of the tool on several Java benchmark programs. en
dc.format.extent 253-259
dc.format.mimetype application/pdf
dc.language.iso en en
dc.relation.ispartofseries Volume 296 en
dc.rights openAccess en
dc.title LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs en
dc.type A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä fi
dc.description.version Peer reviewed en
dc.subject.keyword Concolic testing
dc.subject.keyword distributed testing
dc.subject.keyword symbolic execution
dc.identifier.urn URN:NBN:fi:aalto-201705033779
dc.identifier.doi 10.1016/j.entcs.2013.09.002
dc.type.version publishedVersion

Files in this item

Files Size Format View

There are no open access files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search archive

Advanced Search

article-iconSubmit a publication