Koushik Sen
University of California, Berkeley(US)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Software Engineering Research, Parallel Computing and Optimization Techniques, Formal Methods in Verification
Most-Cited Works
- → DART(2005)2,056 cited
- → CUTE(2005)1,640 cited
- → Symbolic execution for software testing(2013)735 cited
- → A view of the parallel computing landscape(2009)619 cited
- → Hybrid Concolic Testing(2007)421 cited
- → Race directed random testing of concurrent programs(2008)413 cited
- → Heuristics for Scalable Dynamic Test Generation(2008)402 cited
- → CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools(2006)390 cited
- → Rule-Based Runtime Verification(2004)368 cited