Search-based crash reproduction using behavioural model seeding

Pouria Derakhshanfar, Xavier Devroey, Gilles Perrouin, Andy Zaidman, Arie van Deursen
2020 Software testing, verification & reliability  
doi:10.1002/stvr.1733 fatcat:65y4qqcxavhm5cgk63bxo2vboy