3 citations · 3 across the 6 of their papers we have counts for
6 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…
pytest-inline: An Inline Testing Tool for Python
Yu Liu, Zachary Thurston, Alan Han +3
We present pytest-inline, the first inline testing framework for Python. We recently proposed inline tests to make it easier to test individual program statements. But, there is no…
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…