Security Test. - Christof Ebert; Youssef Rekik; Rahul Karade (IEEE Softw., 2020)