56 citations · 62 across the 7 of their papers we have counts for
7 papers
LLMorpheus: Mutation Testing using Large Language Models
Frank Tip, Jonathan Bell, Max Schaefer
In mutation testing, the quality of a test suite is evaluated by introducing faults into a program and determining whether the program's tests detect them. Most existing approaches…
A statistical approach for finding property-access errors
Ellen Arteca, Max Schäfer, Frank Tip
We study the problem of finding incorrect property accesses in JavaScript where objects do not have a fixed layout, and properties (including methods) can be added, overwritten, an…
An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation
Max Schäfer, Sarah Nadi, Aryaz Eghbali +1
Unit tests play a key role in ensuring the correctness of software. However, manually creating unit tests is a laborious task, motivating the need for automation. Large Language Mo…
Beware of the Unexpected: Bimodal Taint Analysis
Yiu Wai Chow, Max Schäfer, Michael Pradel
Static analysis is a powerful tool for detecting security vulnerabilities and other programming problems. Global taint tracking, in particular, can spot vulnerabilities arising fro…
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript
Saikat Dutta, Diego Garbervetsky, Shuvendu Lahiri +1
Static analysis has established itself as a weapon of choice for detecting security vulnerabilities. Taint analysis in particular is a very general and powerful technique, where se…
Learning how to listen: Automatically finding bug patterns in event-driven JavaScript APIs
Ellen Arteca, Max Schäfer, Frank Tip
Event-driven programming is widely practiced in the JavaScript community, both on the client side to handle UI events and AJAX requests, and on the server side to accommodate long-…
Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming
Martin Lester, Luke Ong, Max Schaefer
Web applications written in JavaScript are regularly used for dealing with sensitive or personal data. Consequently, reasoning about their security properties has become an importa…