An Approach to Static-Dynamic Software Analysis

Abstract

Safety-critical software in industry is typically subjected to both dynamic testing as well as static program analysis. However, while testing is expensive to scale, static analysis is prone to false positives and/or false negatives. In this work we propose a solution based on a combination of static analysis to zoom into potential bug candidates in large… (More)
DOI: 10.1007/978-3-319-29510-7_13

Topics

Cite this paper

@inproceedings{Marugn2015AnAT, title={An Approach to Static-Dynamic Software Analysis}, author={Pablo Gonz{\'a}lez de Aledo Marug{\'a}n and Pablo S{\'a}nchez Espeso and Ralf Huuck}, booktitle={FTSCS}, year={2015} }