3 papers
cs.SE2021
An Empirical Study of Data Constraint Implementations in Java
Juan Manuel Florez, Laura Moreno, Zenong Zhang +2
Software systems are designed according to guidelines and constraints defined by business rules. Some of these constraints define the allowable or required values for data handled…
cs.CR2018
Evaluating Fuzz Testing
George Klees, Andrew Ruef, Benji Cooper +2
Fuzz testing has enjoyed great success at discovering security critical bugs in real software. Recently, researchers have devoted significant effort to devising new fuzzing techniq…
cs.PL2018
Evaluating Design Tradeoffs in Numeric Static Analysis for Java
Shiyi Wei, Piotr Mardziel, Andrew Ruef +2
Numeric static analysis for Java has a broad range of potentially useful applications, including array bounds checking and resource usage estimation. However, designing a scalable…