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 . DOI: 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/lct-a-parallel-distributed-testing-tool-for-multithreaded-java-programs(40003d29-a068-4c4d-94f4-e48eb30ad4a1).html
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 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE en
dc.relation.ispartofseries Volume 296 en
dc.rights openAccess en
dc.subject.other 113 Computer and information sciences en
dc.subject.other 213 Electronic, automation and communications engineering, electronics en
dc.subject.other 112 Statistics and probability en
dc.subject.other 5141 Sociology en
dc.subject.other 515 Psychology en
dc.subject.other 518 Media and communications 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.contributor.department Tietotekniikan laitos
dc.subject.keyword Concolic testing
dc.subject.keyword distributed testing
dc.subject.keyword symbolic execution
dc.subject.keyword 113 Computer and information sciences
dc.subject.keyword 213 Electronic, automation and communications engineering, electronics
dc.subject.keyword 112 Statistics and probability
dc.subject.keyword 5141 Sociology
dc.subject.keyword 515 Psychology
dc.subject.keyword 518 Media and communications
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 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

Browse

My Account