1. Automating Risk Analysis of Software Design Models. (18th June 2014) Authors: Frydman, Maxime; Ruiz, Guifré; Heymann, Elisa; César, Eduardo; Miller, Barton P. Other Names: Ivanovic Mirjana Academic Editor. Journal: TheScientificWorldjournal Issue: Volume 2014(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Bad and good news about using software assurance tools. (29th April 2016) Authors: Kupsch, James A.; Heymann, Elisa; Miller, Barton; Basupalli, Vamshi Journal: Software, practice & experience Issue: Volume 47:Number 1(2017) Page Start: 143 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗