The MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security | IEEE Conference Publication | IEEE Xplore