DMCA

Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution

by Neha Rungta , Eric G Mercer , Willem Visser
Citations:13 - 2 self