An Approach to Static-Dynamic Software Analysis


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


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} }