Paolo Arcaini, Elvinia Riccobene. Automatic Refinement of ASM Abstract Test Cases. In 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2019, Xi'an, China, April 22-23, 2019. pages 1-10, IEEE, 2019. [doi]
Abstract is missing.