Software Testing, Verification and Reliability
https://onlinelibrary.wiley.com/journal/10991689