56 citations · 62 across the 7 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.SE2023★ 2 cited
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…
cs.SE2023★ 56 cited
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…
cs.SE2023
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…