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)
|