Login / Signup
Sandeep Bindal
Publication Activity (10 Years)
Years Active: 2012-2013
Publications (10 Years): 0
Top Topics
Multi User
Concurrent Programs
Fixpoint
Tree Traversal
Top Venues
CoRR
ISSTA
</>
Publications
</>
Sandeep Bindal
,
Sorav Bansal
,
Akash Lal
Variable and thread bounding for systematic testing of multithreaded programs.
ISSTA
(2013)
Sandeep Bindal
,
Sorav Bansal
,
Akash Lal
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs
CoRR
(2012)