4 papers
Detecting Build Dependency Errors in Incremental Builds
Jun Lyu, Shanshan Li, He Zhang +3
Incremental and parallel builds performed by build tools such as Make are the heart of modern C/C++ software projects. Their correct and efficient execution depends on build script…
Finding Cross-rule Optimization Bugs in Datalog Engines
Chi Zhang, Linzhang Wang, Manuel Rigger
Datalog is a popular and widely-used declarative logic programming language. Datalog engines apply many cross-rule optimizations; bugs in them can cause incorrect results. To detec…
Finding XPath Bugs in XML Document Processors via Differential Testing
Shuxin Li, Manuel Rigger
Extensible Markup Language (XML) is a widely used file format for data storage and transmission. Many XML processors support XPath, a query language that enables the extraction of…
Testing Database Engines via Query Plan Guidance
Jinsheng Ba, Manuel Rigger
Database systems are widely used to store and query data. Test oracles have been proposed to find logic bugs in such systems, that is, bugs that cause the database system to comput…