LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs

Reference:

Kari Kähkönen, Olli Saarikivi, and Keijo Heljanko. LCT: A parallel distributed testing tool for multithreaded Java programs. In Proceedings of the 11th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2012), to appear.

Suggested BibTeX entry:

@inproceedings{PDMCKahSaaHel12,
    author = {Kari K{\"a}hk{\"o}nen and Olli Saarikivi and Keijo Heljanko},
    booktitle = {Proceedings of the 11th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2012)},
    language = {eng},
    title = {{LCT}: A Parallel Distributed Testing Tool for Multithreaded {J}ava Programs},
    year = {to appear},
}