Seemanta Saha

16 papers A* 4A 2Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
Obtaining Information Leakage Bounds via Approximate Model Counting.
Proc. ACM Program. Lang.
Seemanta Saha, Surendra Ghentiyala, Shihua Lu, Lucas Bang, Tevfik Bultan
2023 A conf
Rare Path Guided Fuzzing.
ISSTA
Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, Tevfik Bultan
2022 A* conf
PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements.
ICSE
Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan
2022 J jnl
Rare-Seed Generation for Fuzzing.
CoRR
Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, Tevfik Bultan
2020 A* conf
JVM fuzzing for JIT-induced side-channel detection.
ICSE
Tegan Brennan, Seemanta Saha, Tevfik Bultan
2020 J jnl
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes
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
2019 J jnl
Attack Synthesis for Strings using Meta-Heuristics.
CoRR
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
2019 J jnl
Harnessing Evolution for Multi-Hunk Program Repair.
CoRR
Seemanta Saha, Ripon K. Saha, Mukul R. Prasad
2019 A* conf
Harnessing evolution for multi-hunk program repair.
ICSE
Seemanta Saha, Ripon K. Saha, Mukul R. Prasad
2019 J jnl
Incremental Adaptive Attack Synthesis.
CoRR
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
2019 J jnl
Incremental Attack Synthesis.
ACM SIGSOFT Softw. Eng. Notes
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
2019 A* conf
Subformula Caching for Model Counting and Quantitative Program Analysis.
ASE
William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan
2018 J jnl
Attack Synthesis for Strings using Meta-Heuristics.
ACM SIGSOFT Softw. Eng. Notes
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
2018 — conf
Symbolic path cost analysis for side-channel detection.
ICSE (Companion Volume)
Tegan Brennan, Seemanta Saha, Tevfik Bultan
2018 A conf
Symbolic path cost analysis for side-channel detection.
ISSTA
Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu
2014 J jnl
Synthesizing Fault Tolerant Safety Critical Systems.
J. Comput.
Seemanta Saha, Muhammad Sheikh Sadi