@inproceedings{DBLP:conf/issta/Santolucito17,
  author    = {Mark Santolucito},
  title     = {Version space learning for verification on temporal differentials},
  booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
               2017},
  pages     = {428--431},
  year      = {2017},
  crossref  = {DBLP:conf/issta/2017},
  url       = {https://doi.org/10.1145/3092703.3098238},
  doi       = {10.1145/3092703.3098238},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/Santolucito17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"CAPDthXW5dZbxA3CS","bibbaseid":"santolucito-versionspacelearningforverificationontemporaldifferentials-2017","authorIDs":[],"author_short":["Santolucito, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mark"],"propositions":[],"lastnames":["Santolucito"],"suffixes":[]}],"title":"Version space learning for verification on temporal differentials","booktitle":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017","pages":"428–431","year":"2017","crossref":"DBLP:conf/issta/2017","url":"https://doi.org/10.1145/3092703.3098238","doi":"10.1145/3092703.3098238","timestamp":"Tue, 06 Nov 2018 16:57:30 +0100","biburl":"https://dblp.org/rec/bib/conf/issta/Santolucito17","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/issta/Santolucito17,\n author = {Mark Santolucito},\n title = {Version space learning for verification on temporal differentials},\n booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on\n Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,\n 2017},\n pages = {428--431},\n year = {2017},\n crossref = {DBLP:conf/issta/2017},\n url = {https://doi.org/10.1145/3092703.3098238},\n doi = {10.1145/3092703.3098238},\n timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},\n biburl = {https://dblp.org/rec/bib/conf/issta/Santolucito17},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Santolucito, M."],"key":"DBLP:conf/issta/Santolucito17","id":"DBLP:conf/issta/Santolucito17","bibbaseid":"santolucito-versionspacelearningforverificationontemporaldifferentials-2017","role":"author","urls":{"Paper":"https://doi.org/10.1145/3092703.3098238"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp2.uni-trier.de/pers/tb2/s/Santolucito:Mark.bib","creationDate":"2019-05-28T15:03:40.872Z","downloads":0,"keywords":[],"search_terms":["version","space","learning","verification","temporal","differentials","santolucito"],"title":"Version space learning for verification on temporal differentials","year":2017,"dataSources":["dfb5LQhKMMEEyNT3v"]}