Complexity vulnerability analysis using symbolic execution. - Luckow, Kasper; Kersten, Rody; Pasareanu, Corina (Software Testing: Verification & Reliability, 2020)