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]

@inproceedings{ArcainiR19,
  title = {Automatic Refinement of ASM Abstract Test Cases},
  author = {Paolo Arcaini and Elvinia Riccobene},
  year = {2019},
  doi = {10.1109/ICSTW.2019.00025},
  url = {https://doi.org/10.1109/ICSTW.2019.00025},
  researchr = {https://researchr.org/publication/ArcainiR19},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2019, Xi'an, China, April 22-23, 2019},
  publisher = {IEEE},
  isbn = {978-1-7281-0888-9},
}