240 citations · 1.4k across the 52 of their papers we have counts for
6 papers · 1 filter
Mutation-based Evaluation of Cryptographic API Misuse Detectors
Amit Seal Ami, Scott Marsden, Kevin Moran +2
The correct use of cryptography is central to ensuring data security in modern software systems. Hence, several academic and commercial static analysis tools have been developed fo…
Code to Comment Translation: A Comparative Study on Model Effectiveness & Errors
Junayed Mahmud, Fahim Faisal, Raihan Islam Arnob +2
Automated source code summarization is a popular software engineering research topic wherein machine translation models are employed to "translate" code snippets into relevant natu…
AndroR2: A Dataset of Manually Reproduced Bug Reports for Android Applications
Tyler Wendland, Jingyang Sun, Junayed Mahmud +5
Software maintenance constitutes a large portion of the software development lifecycle. To carry out maintenance tasks, developers often need to understand and reproduce bug report…
V2S: A Tool for Translating Video Recordings of Mobile App Usages into Replayable Scenarios
Madeleine Havranek, Carlos Bernal-Cárdenas, Nathan Cooper +3
Screen recordings are becoming increasingly important as rich software artifacts that inform mobile application development processes. However, the amount of manual effort required…
SE: Mutation-based Evaluation of Security-focused Static Analysis Tools for Android
Amit Seal Ami, Kaushal Kafle, Kevin Moran +2
This demo paper presents the technical details and usage scenarios of SE: a mutation-based tool for evaluating security-focused static analysis tools for Android. Mutation testi…
Systematic Mutation-based Evaluation of the Soundness of Security-focused Android Static Analysis Techniques
Amit Seal Ami, Kaushal Kafle, Kevin Moran +2
Mobile application security has been a major area of focus for security research over the course of the last decade. Numerous application analysis tools have been proposed in respo…