Systematic approaches for increasing soundness and precision of static analyzers
Systematic approaches for increasing soundness and precision of static analyzers is a scholarly work, published in 2017. The main subjects of the publication include test automation, soundness, software engineering, computer science, and reliability engineering. Through a series of examples, authors present the authors' experience with semi-automated methods based on delta debugging and dynamic analysis for increasing soundness and precision of a static analyzer for JavaScript.