ConTest
From MaRDI portal
Software:21593
No author found.
Related Items (5)
Framework for testing multi‐threaded Java programs ⋮ Combining Model Checking and Testing ⋮ Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings ⋮ Extensible transactional memory testbed ⋮ Towards Testing Concurrent Objects in CLP
This page was built for software: ConTest
