5 papers
DateSAT: A Framework for Solving Date and Period Constraints
Leyi Cui, Shrey Tiwari, Rohan Padhye
Dates and calendar periods (i.e., days, months, years) appear frequently in tasks involving analysis of software, data, and documents. Prior research has shown that computer logic…
Fuzzing with Agents? Generators Are All You Need
Vasudev Vikram, Rohan Padhye
Modern generator-based fuzzing techniques combine lightweight input generators with coverage-guided mutation as a method of exploring deep execution paths in a target program. A co…
On the Freshness of Pinned Dependencies in Maven
Vasudev Vikram, Yuvraj Agarwal, Rohan Padhye
Library dependencies in software ecosystems play a crucial role in the development of software. As newer releases of these libraries are published, developers may opt to pin their…
Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM (Extended Version)
Ao Li, Byeongjee Kang, Vasudev Vikram +4
Concurrency bugs are hard to discover and reproduce. Prior work has developed sophisticated algorithms to search for concurrency bugs, such as partial order sampling (POS); however…
SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller
Ao Li, Rohan Padhye, Vyas Sekar
Performance issues in software-defined network (SDN) controllers can have serious impacts on the performance and availability of networks. In this paper, we consider a special clas…