1. Complexity vulnerability analysis using symbolic execution. (6th February 2020) Authors: Luckow, Kasper; Kersten, Rody; Pasareanu, Corina Other Names: Schieferdecker Ina guestEditor.; Memon Atif guestEditor.; Washizaki Hironori guestEditor. Journal: Software testing, verification & reliability Issue: Volume 30:Number 7/8(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗