3 papers
cs.SE2026
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps
Partha Protim Paul, Reid Holmes
Traditional test adequacy metrics measure a system's implementation, not whether it adheres to its expected behaviour. While developers rely heavily on code coverage and mutation t…
cs.HC2025
Human Side of Smart Contract Fuzzing: An Empirical Study
Guanming Qiao, Partha Protim Paul
Smart contract (SC) fuzzing is a critical technique for detecting vulnerabilities in blockchain applications. However, its adoption remains challenging for practitioners due to fun…
cs.CR2025
Enhancing Leakage Attacks on Searchable Symmetric Encryption Using LLM-Based Synthetic Data Generation
Joshua Chiu, Partha Protim Paul, Zahin Wahab
Searchable Symmetric Encryption (SSE) enables efficient search capabilities over encrypted data, allowing users to maintain privacy while utilizing cloud storage. However, SSE sche…