The following pages link to ConTest (Q21593):
Displayed 5 items.
- Extensible transactional memory testbed (Q666242) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings (Q3512483) (← links)
- Framework for testing multi‐threaded Java programs (Q4799677) (← links)
- Towards Testing Concurrent Objects in CLP (Q5398047) (← links)