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