CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration.

Jacob Burnim Tayfun Elmas George C. Necula Koushik Sen

Published in: HotPar (2012)

Keyphrases

space exploration
concurrent programs
wireless sensor networks
software development