Key Research Areas

1. Automated Program Analysis, Software Testing, and Verification.

About

1. Arpita Dutta is a Senior Postdoctoral Research Fellow in the Department of Computer Science at the National University of Singapore. She completed her Ph.D. from Indian Institute of Technology Kharagpur in 2021 and M.Tech. from the National Institute of Technology, Rourkela in 2017. Her research interest lies in automated fault localization and symbolic execution methods for software verification, program analysis, and testing. She is an active developer of open-source Symbolic Execution tool TracerX (https://github.com/tracer-x). She has published in top-tier journals and conferences including ISSTA, FASE, IEEE Transactions on Reliability.

Recent Publications

1.

Courses Taught

1.

Faculty Image
Dr. Arpita Dutta

Designation: Assistant Professor (Joining soon...)