Summary of Search-based Crash Reproduction using Behavioral Model Seeding

Publication
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)