Automatic Refinement of ASM Abstract Test Cases

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

Abstract is missing.