Academic Commons

Software

KABU: Dynamic Inference Tool of Metamorphic Properties

Su, Fang-Hsiang

Metamorphic testing is an advanced technique to test programs without a true test oracle such as machine learning applications. Because these programs have no general oracle to identify their correctness, traditional testing techniques such as unit testing may not be helpful for developers to detect potential bugs. KABU uses pre-defined input adapters, transformers and checkers to infer metamorphic properties from programs.

Files

More About This Work

Academic Units
Computer Science
Published Here
November 25, 2015
Academic Commons provides global access to research and scholarship produced at Columbia University, Barnard College, Teachers College, Union Theological Seminary and Jewish Theological Seminary. Academic Commons is managed by the Columbia University Libraries.