5 papers
Bug Histories as Sources of Compiler Fuzzing Mutators
Lingjun Liu, Feiran Qin, Owolabi Legunsen +1
Bugs in compilers, which are critical infrastructure today, can have outsized negative impacts. Mutational fuzzers aid compiler bug detection by systematically mutating compiler in…
A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
Zhuohang Shen, Mohammed Yaseen, Denini Silva +4
Runtime verification (RV) now scales for testing thousands of open-source Java projects, helping find hundreds of bugs. The popular Python ecosystem could use such benefits. But, t…
Inline Tests
Yu Liu, Pengyu Nie, Owolabi Legunsen +1
Unit tests are widely used to check source code quality, but they can be too coarse-grained or ill-suited for testing individual program statements. We introduce inline tests to ma…
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems
Yuanliang Zhang, Haochen He, Owolabi Legunsen +3
Many techniques were proposed for detecting software misconfigurations in cloud systems and for diagnosing unintended behavior caused by such misconfigurations. Detection and diagn…
Configuration Testing: Testing Configuration Values as Code and with Code
Tianyin Xu, Owolabi Legunsen
This paper proposes configuration testing--evaluating configuration values (to be deployed) by exercising the code that uses the values and assessing the corresponding program beha…