ConTest

MaRDI QIDQ21593swMATHFDO

Official website http://onlinelibrary.wiley.com/doi/10.1002/cpe.654/abstract

Cited in

(17)

• ISP
• STMBench7
• Eraser
• MARMOT
• Lee-TM
• Specomp
• Minebench
• WormBench
• ALPBench
• Combining model checking and testing
• Guava
• Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
• tm_db
• TMunit
• Framework for testing multi‐threaded Java programs
• Towards testing concurrent objects in CLP
• Extensible transactional memory testbed

This page was built for software: ConTest