5 papers
ExploreRepair: Evidence-Specialized Agents for Vulnerability Repair under Information Constraints
Duc Manh Tran, Ratnadira Widyasari, Ivana Clairine Irsan +5
Automated vulnerability repair must often operate with incomplete vulnerability information: developers may lack an accurate vulnerability classification or a provided proof-of-vul…
An Empirical Comparison of General Context-Free Parsers
Huan Vo, Danushka Liyanage, Hong Jin Kang +2
Parsing underpins a vast range of software engineering tasks, from compilers and static analyzers to language servers and fuzz testing tools. Yet most parsers deployed in practice…
Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
Danushka Liyanage, Nelum Attanayake, Zijian Luo +1
Background: Fuzzers are often guided by coverage, making the estimation of maximum achievable coverage a key concern in fuzzing. However, achieving 100% coverage is infeasible for…
Example-Free Learning of Regular Languages with Prefix Queries
Eve Fernando, Sasha Rubin, Rahul Gopinath
Language learning refers to the problem of inferring a mathematical model which accurately represents a formal language. Many language learning algorithms learn by asking certain t…
Mutation Analysis with Execution Taints
Rahul Gopinath, Philipp Goerz
Mutation analysis is one of the most effective, but costly means of assessing the ability of software test suites to prevent bugs. Traditional mutation analysis involves producing…