Correlating automatic static analysis and mutation testing: towards incremental strategies
Correlating automatic static analysis and mutation testing: towards incremental strategies is a scholarly work, published in 2016 in ''Journal of Software Engineering Research and Development''. The main subjects of the publication include computer science, algorithm, reliability engineering, static analysis, set, mutation, software engineering, spectrum analyzer, automation, data mining, test automation, and mutation testing. The paper uses mutation testing for evaluating an automated static analyzer.