LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs (2013)
  • BOOKTITLE:
  • Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC)
  • VOLUME:
  • 296
  • PAGES:
  • 253-259
[BibTex]