Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek, Mats Per Erik Heimdahl. Inductive Validity Cores. IEEE Trans. Software Eng., 47(2):279-299, 2021. [doi]
@article{GhassabaniWGH21,
title = {Inductive Validity Cores},
author = {Elaheh Ghassabani and Michael W. Whalen and Andrew Gacek and Mats Per Erik Heimdahl},
year = {2021},
doi = {10.1109/TSE.2019.2891709},
url = {https://doi.org/10.1109/TSE.2019.2891709},
researchr = {https://researchr.org/publication/GhassabaniWGH21},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {47},
number = {2},
pages = {279-299},
}