Koushik Sen
0000-0002-4539-9188
Publications
255 total
No publications found.
Research Topics
Software Testing and Debugging Techniques
Software Reliability and Analysis Research
Software Engineering Research
Parallel Computing and Optimization Techniques
Formal Methods in Verification
Affiliations
University of California, Berkeley
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.