Mark Santolucito. Version space learning for verification on temporal differentials. In Tevfik Bultan, Koushik Sen, editors, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017. pages 428-431, ACM, 2017. [doi]
@inproceedings{Santolucito17,
title = {Version space learning for verification on temporal differentials},
author = {Mark Santolucito},
year = {2017},
doi = {10.1145/3092703.3098238},
url = {http://doi.acm.org/10.1145/3092703.3098238},
researchr = {https://researchr.org/publication/Santolucito17},
cites = {0},
citedby = {0},
pages = {428-431},
booktitle = {Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017},
editor = {Tevfik Bultan and Koushik Sen},
publisher = {ACM},
isbn = {978-1-4503-5076-1},
}