Koushik Sen - Related publications

Affiliations: 
Electrical Engineering and Computer Science University of California, Berkeley, Berkeley, CA 
Area:
Programming Systems (PS), Software Engineering, Programming Languages, and Formal Methods: Software Testing, Verification, Model Checking, Runtime Monitoring, Performance Evaluation, and Computational Logic.; Security (SEC)