Koushik Sen - Related publications

Affiliations:

Electrical Engineering and Computer Science

University of California, Berkeley, Berkeley, CA, United States

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)