1 citations · 1 across the 1 of their papers we have counts for
1 paper
Sandeep Bindal, Sorav Bansal, Akash Lal
Previous approaches to systematic state-space exploration for testing multi-threaded programs have proposed context-bounding and depth-bounding to be effective ranking algorithms f…