Search-based crash reproduction using behavioural model seeding

Publication
Software Testing, Verification and Reliability