{"id":"https://openalex.org/W2735744141","doi":"https://doi.org/10.1145/3092703.3098238","title":"Version space learning for verification on temporal differentials","display_name":"Version space learning for verification on temporal differentials","publication_year":2017,"publication_date":"2017-07-10","ids":{"openalex":"https://openalex.org/W2735744141","doi":"https://doi.org/10.1145/3092703.3098238","mag":"2735744141"},"language":"en","primary_location":{"id":"doi:10.1145/3092703.3098238","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3098238","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031902968","display_name":"Mark Santolucito","orcid":"https://orcid.org/0000-0001-8646-4364"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mark Santolucito","raw_affiliation_strings":["Yale University, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5031902968"],"corresponding_institution_ids":["https://openalex.org/I32971472"],"apc_list":null,"apc_paid":null,"fwci":0.2072,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.55416927,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"428","last_page":"431"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12761","display_name":"Data Stream Mining Techniques","score":0.9889000058174133,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8337717056274414},{"id":"https://openalex.org/keywords/initialization","display_name":"Initialization","score":0.7531105875968933},{"id":"https://openalex.org/keywords/software-versioning","display_name":"Software versioning","score":0.7098027467727661},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.6734009981155396},{"id":"https://openalex.org/keywords/structuring","display_name":"Structuring","score":0.5605620741844177},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.49149811267852783},{"id":"https://openalex.org/keywords/configuration-space","display_name":"Configuration space","score":0.47130143642425537},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.4397710859775543},{"id":"https://openalex.org/keywords/user-space","display_name":"User space","score":0.41558682918548584},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3551104664802551},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3366246819496155},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3365707993507385},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32645848393440247},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.30430591106414795},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.2644462585449219},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2630612552165985}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8337717056274414},{"id":"https://openalex.org/C114466953","wikidata":"https://www.wikidata.org/wiki/Q6034165","display_name":"Initialization","level":2,"score":0.7531105875968933},{"id":"https://openalex.org/C198140048","wikidata":"https://www.wikidata.org/wiki/Q10859422","display_name":"Software versioning","level":3,"score":0.7098027467727661},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6734009981155396},{"id":"https://openalex.org/C2775945657","wikidata":"https://www.wikidata.org/wiki/Q381442","display_name":"Structuring","level":2,"score":0.5605620741844177},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.49149811267852783},{"id":"https://openalex.org/C90738871","wikidata":"https://www.wikidata.org/wiki/Q41642869","display_name":"Configuration space","level":2,"score":0.47130143642425537},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.4397710859775543},{"id":"https://openalex.org/C2775877400","wikidata":"https://www.wikidata.org/wiki/Q1142183","display_name":"User space","level":2,"score":0.41558682918548584},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3551104664802551},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3366246819496155},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3365707993507385},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32645848393440247},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.30430591106414795},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2644462585449219},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2630612552165985},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3092703.3098238","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3098238","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W145069693","https://openalex.org/W1561445823","https://openalex.org/W2009207944","https://openalex.org/W2062013187","https://openalex.org/W2130136915","https://openalex.org/W2136508073","https://openalex.org/W2154822035","https://openalex.org/W2339061030","https://openalex.org/W2440159969","https://openalex.org/W2489690523","https://openalex.org/W2522470548","https://openalex.org/W2734941459"],"related_works":["https://openalex.org/W3204184292","https://openalex.org/W4394443292","https://openalex.org/W4251394462","https://openalex.org/W1580673008","https://openalex.org/W3176564347","https://openalex.org/W1985458517","https://openalex.org/W2355833770","https://openalex.org/W3031039437","https://openalex.org/W1510936208","https://openalex.org/W2486167009"],"abstract_inverted_index":{"Configuration":[0],"files":[1,129],"provide":[2],"users":[3],"with":[4],"the":[5,10,26,104],"ability":[6],"to":[7,40,65,102,118],"quickly":[8],"alter":[9],"behavior":[11],"of":[12,35,47,69,74,94],"their":[13],"software":[14,27],"system.":[15],"Ensuring":[16],"that":[17,100],"a":[18,29,67,123],"configuration":[19,71,84,128],"file":[20],"does":[21],"not":[22],"induce":[23],"errors":[24,36,72],"in":[25,92,108],"is":[28],"complex":[30],"verification":[31],"issue.":[32],"The":[33],"types":[34],"can":[37],"be":[38],"easy":[39],"measure,":[41],"such":[42,53],"as":[43,54],"an":[44,88],"initialization":[45],"failure":[46],"system":[48,121],"boot,":[49],"or":[50],"more":[51],"insidious":[52],"performance":[55],"degrading":[56],"over":[57],"time":[58],"under":[59],"heavy":[60],"network":[61],"loads.":[62],"In":[63],"order":[64],"warn":[66],"user":[68],"potential":[70],"ahead":[73],"time,":[75],"we":[76],"propose":[77],"using":[78,126],"version":[79,95],"space":[80,96],"learning":[81],"specifications":[82],"for":[83],"languages.":[85],"We":[86,98,116],"frame":[87],"existing":[89],"tool,":[90],"ConfigC,":[91],"terms":[93],"learning.":[97],"extend":[99],"algorithm":[101],"leverage":[103],"temporal":[105],"structuring":[106],"available":[107],"training":[109],"sets":[110],"scraped":[111],"from":[112,131],"versioning":[113],"control":[114],"systems.":[115],"plan":[117],"evaluate":[119],"our":[120],"on":[122],"case":[124],"study":[125],"TravisCI":[127],"collected":[130],"Github.":[132]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}