Synthesizing Fault Tolerant Safety Critical Systems. - Seemanta Saha; Muhammad Sheikh Sadi (J. Comput., 2014)

Symbolic path cost analysis for side-channel detection. - Tegan Brennan; Seemanta Saha; Tevfik Bultan (ICSE (Companion Volume), 2018)

Symbolic path cost analysis for side-channel detection. - Tegan Brennan; Seemanta Saha; Tevfik Bultan; Corina S. Pasareanu (ISSTA, 2018)

Attack Synthesis for Strings using Meta-Heuristics. - Seemanta Saha; Ismet Burak Kadron; William Eiers; Lucas Bang; Tevfik Bultan (ACM SIGSOFT Softw. Eng. Notes, 2018)

Harnessing evolution for multi-hunk program repair. - Seemanta Saha; Ripon K. Saha; Mukul R. Prasad (ICSE, 2019)

Subformula Caching for Model Counting and Quantitative Program Analysis. - William Eiers; Seemanta Saha; Tegan Brennan; Tevfik Bultan (ASE, 2019)

Incremental Adaptive Attack Synthesis. - Seemanta Saha; William Eiers; Ismet Burak Kadron; Lucas Bang; Tevfik Bultan (CoRR, 2019)

Incremental Attack Synthesis. - Seemanta Saha; William Eiers; Ismet Burak Kadron; Lucas Bang; Tevfik Bultan (ACM SIGSOFT Softw. Eng. Notes, 2019)

JVM fuzzing for JIT-induced side-channel detection. - Tegan Brennan; Seemanta Saha; Tevfik Bultan (ICSE, 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements. - Seemanta Saha; Mara Downing; Tegan Brennan; Tevfik Bultan (ICSE, 2022)

Rare-Seed Generation for Fuzzing. - Seemanta Saha; Laboni Sarker; Md Shafiuzzaman; Chaofan Shou; Albert Li; Ganesh Sankaran; Tevfik Bultan (CoRR, 2022)

Rare Path Guided Fuzzing. - Seemanta Saha; Laboni Sarker; Md Shafiuzzaman; Chaofan Shou; Albert Li; Ganesh Sankaran; Tevfik Bultan (ISSTA, 2023)

Obtaining Information Leakage Bounds via Approximate Model Counting. - Seemanta Saha; Surendra Ghentiyala; Shihua Lu; Lucas Bang; Tevfik Bultan (Proc. ACM Program. Lang., 2023)