{"id":"https://openalex.org/W2023807254","doi":"https://doi.org/10.1145/1012497.1012502","title":"SDVS","display_name":"SDVS","publication_year":1985,"publication_date":"1985-08-01","ids":{"openalex":"https://openalex.org/W2023807254","doi":"https://doi.org/10.1145/1012497.1012502","mag":"2023807254"},"language":"en","primary_location":{"id":"doi:10.1145/1012497.1012502","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1012497.1012502","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1012497.1012502","source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1012497.1012502","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020073000","display_name":"Leo Marcus","orcid":null},"institutions":[{"id":"https://openalex.org/I169540460","display_name":"The Aerospace Corporation","ror":"https://ror.org/01ar9e455","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I169540460"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Leo Marcus","raw_affiliation_strings":["The Aerospace Corporation"],"affiliations":[{"raw_affiliation_string":"The Aerospace Corporation","institution_ids":["https://openalex.org/I169540460"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012244300","display_name":"Stephen Crocker","orcid":null},"institutions":[{"id":"https://openalex.org/I169540460","display_name":"The Aerospace Corporation","ror":"https://ror.org/01ar9e455","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I169540460"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen D. Crocker","raw_affiliation_strings":["The Aerospace Corporation"],"affiliations":[{"raw_affiliation_string":"The Aerospace Corporation","institution_ids":["https://openalex.org/I169540460"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048523307","display_name":"Jaisook R. Landauer","orcid":null},"institutions":[{"id":"https://openalex.org/I169540460","display_name":"The Aerospace Corporation","ror":"https://ror.org/01ar9e455","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I169540460"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jaisook R. Landauer","raw_affiliation_strings":["The Aerospace Corporation"],"affiliations":[{"raw_affiliation_string":"The Aerospace Corporation","institution_ids":["https://openalex.org/I169540460"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5020073000"],"corresponding_institution_ids":["https://openalex.org/I169540460"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.12717383,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"10","issue":"4","first_page":"7","last_page":"14"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.12070000171661377,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.12070000171661377,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.10450000315904617,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.0568000003695488,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.48726311326026917},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3407430648803711}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48726311326026917},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3407430648803711}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1012497.1012502","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1012497.1012502","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1012497.1012502","source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/1012497.1012502","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1012497.1012502","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1012497.1012502","source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2023807254.pdf","grobid_xml":"https://content.openalex.org/works/W2023807254.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W336063547","https://openalex.org/W1561895795","https://openalex.org/W1773520078","https://openalex.org/W2004193076","https://openalex.org/W2153131284","https://openalex.org/W2154715237","https://openalex.org/W2164778826","https://openalex.org/W4235968347","https://openalex.org/W4255694252"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"article":[0],"Free":[1],"Access":[2],"Share":[3],"on":[4,102],"SDVS:":[5],"a":[6,88,121],"system":[7],"for":[8],"verifying":[9],"microcode":[10],"correctness":[11],"Authors:":[12],"Leo":[13],"Marcus":[14],"The":[15,18,26,29,37,40],"Aerospace":[16,19,27,30,38,41],"Corporation":[17,28,39],"CorporationView":[20,31,42],"Profile":[21,32,43],",":[22,33],"Stephen":[23],"D.":[24],"Crocker":[25],"Jaisook":[34],"R.":[35],"Landauer":[36],"Authors":[44],"Info":[45],"&":[46],"Claims":[47],"ACM":[48],"SIGSOFT":[49],"Software":[50],"Engineering":[51],"NotesVolume":[52],"10Issue":[53],"4August":[54],"1985":[55],"pp":[56],"7\u201314https://doi.org/10.1145/1012497.1012502Published:01":[57],"August":[58],"1985Publication":[59],"History":[60],"1citation43DownloadsMetricsTotal":[61],"Citations1Total":[62],"Downloads43Last":[63],"12":[64],"Months6Last":[65],"6":[66],"weeks2":[67],"Get":[68],"Citation":[69,71,109],"AlertsNew":[70],"Alert":[72],"added!This":[73],"alert":[74,99],"has":[75,94],"been":[76,95],"successfully":[77],"added":[78],"and":[79],"will":[80,84],"be":[81,85],"sent":[82],"to:You":[83],"notified":[86],"whenever":[87],"record":[89],"that":[90],"you":[91],"have":[92],"chosen":[93],"cited.To":[96],"manage":[97],"your":[98,114],"preferences,":[100],"click":[101],"the":[103],"button":[104],"below.Manage":[105],"my":[106],"Alerts":[107],"New":[108,122],"Alert!Please":[110],"log":[111],"in":[112],"to":[113,117,119],"account":[115],"Save":[116],"BinderSave":[118],"BinderCreate":[120],"BinderNameCancelCreateExport":[123],"CitationPublisher":[124],"SiteeReaderPDF":[125]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2016-06-24T00:00:00"}