Abscon: a test concretizer for model-based testing

Publication
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)