LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs (to appear)
  • BOOKTITLE:
  • Proceedings of the 11th International Workshop on Parallel and Distributed Methods in verifiCation ( PDMC 2012)
[BibTex]