swMATH9613MaRDI QIDQ21593FDOQ21593
Author name not available (Why is that?)
Official website: http://onlinelibrary.wiley.com/doi/10.1002/cpe.654/abstract
Cited In (17)
- Combining model checking and testing
- Towards testing concurrent objects in CLP
- ISP
- Eraser
- STMBench7
- MARMOT
- Lee-TM
- Minebench
- Specomp
- WormBench
- ALPBench
- Guava
- tm_db
- TMunit
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
- Extensible transactional memory testbed
- Framework for testing multi‐threaded Java programs
This page was built for software: ConTest
