Seemanta Saha

According to our database, Seemanta Saha authored at least 14 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Obtaining Information Leakage Bounds via Approximate Model Counting.

Seemanta Saha, Surendra Ghentiyala, Shihua Lu, Lucas Bang, Tevfik Bultan

Proc. ACM Program. Lang., 2023

Rare Path Guided Fuzzing.

Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, Tevfik Bultan

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Rare-Seed Generation for Fuzzing.

Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, Tevfik Bultan

CoRR, 2022

PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements.

Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

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, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

JVM fuzzing for JIT-induced side-channel detection.

Tegan Brennan, Seemanta Saha, Tevfik Bultan

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Incremental Attack Synthesis.

Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan

ACM SIGSOFT Softw. Eng. Notes, 2019

Incremental Adaptive Attack Synthesis.

Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan

CoRR, 2019

Subformula Caching for Model Counting and Quantitative Program Analysis.

William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Harnessing evolution for multi-hunk program repair.

Seemanta Saha, Ripon K. Saha, Mukul R. Prasad

Proceedings of the 41st International Conference on Software Engineering, 2019

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

Symbolic path cost analysis for side-channel detection.

Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Symbolic path cost analysis for side-channel detection.

Tegan Brennan, Seemanta Saha, Tevfik Bultan

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2014

Synthesizing Fault Tolerant Safety Critical Systems.

Seemanta Saha, Muhammad Sheikh Sadi

J. Comput., 2014