255
Publications
18,690
Citations
65
h-index
141
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (181)
- Preprint (35)
- Book Chapter (28)
- Report (7)
- Dataset (2)
Filter by Open Access Type
- Open Access (95)
- Closed Access (160)
Filter by Authors
- Koushik Sen (255)
- Gul Agha (37)
- Costin Iancu (25)
- George C. Necula (24)
- Jacob Burnim (22)
Filter by Topics
- Software Testing and Debugging Techniques (122)
- Software Reliability and Analysis Research (74)
- Software Engineering Research (67)
- Parallel Computing and Optimization Techniques (63)
- Formal Methods in Verification (54)