{"id":"https://openalex.org/W2734733592","doi":"https://doi.org/10.1145/3092703.3098237","title":"Understanding intended behavior using models of low-level signals","display_name":"Understanding intended behavior using models of low-level signals","publication_year":2017,"publication_date":"2017-07-10","ids":{"openalex":"https://openalex.org/W2734733592","doi":"https://doi.org/10.1145/3092703.3098237","mag":"2734733592"},"language":"en","primary_location":{"id":"doi:10.1145/3092703.3098237","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3098237","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/A5031872271","display_name":"Deborah Katz","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Deborah S. Katz","raw_affiliation_strings":["Carnegie Mellon University, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5031872271"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.3392,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.62301587,"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":"424","last_page":"427"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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.830707311630249},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7546770572662354},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5148290991783142},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4820181131362915},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3652017116546631},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.15992286801338196},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15732881426811218}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.830707311630249},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7546770572662354},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5148290991783142},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4820181131362915},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3652017116546631},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.15992286801338196},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15732881426811218}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3092703.3098237","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092703.3098237","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":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.75}],"awards":[{"id":"https://openalex.org/G6777439558","display_name":null,"funder_award_id":"FA8750-15-2-0075","funder_id":"https://openalex.org/F4320338249","funder_display_name":"Air Force Civil Engineer Center"}],"funders":[{"id":"https://openalex.org/F4320332467","display_name":"U.S. Air Force","ror":"https://ror.org/006gmme17"},{"id":"https://openalex.org/F4320338249","display_name":"Air Force Civil Engineer Center","ror":"https://ror.org/006gmme17"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W33043110","https://openalex.org/W83755378","https://openalex.org/W1558160213","https://openalex.org/W1963918008","https://openalex.org/W2018017297","https://openalex.org/W2041713059","https://openalex.org/W2060291526","https://openalex.org/W2101234009","https://openalex.org/W2103689710","https://openalex.org/W2107709519","https://openalex.org/W2107751709","https://openalex.org/W2112558645","https://openalex.org/W2115224143","https://openalex.org/W2122987706","https://openalex.org/W2134633067","https://openalex.org/W2150847526","https://openalex.org/W4239813889","https://openalex.org/W6675354045"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W184826316","https://openalex.org/W3132573772","https://openalex.org/W1576777252","https://openalex.org/W3161879573","https://openalex.org/W2102187481","https://openalex.org/W2367207301","https://openalex.org/W2164098295","https://openalex.org/W4294754599"],"abstract_inverted_index":{"As":[0],"software":[1,23],"systems":[2,31],"increase":[3],"in":[4,38],"complexity":[5],"and":[6,36,102],"operate":[7,37],"with":[8,96],"less":[9],"human":[10],"supervision,":[11],"it":[12,42],"becomes":[13],"more":[14],"difficult":[15,43],"to":[16,20,44,58,110,114],"use":[17],"traditional":[18],"techniques":[19,57,98],"detect":[21],"when":[22],"is":[24],"not":[25],"behaving":[26],"as":[27],"intended.":[28],"Furthermore,":[29],"many":[30],"operating":[32],"today":[33],"are":[34],"nondeterministic":[35],"unpredictable":[39],"environments,":[40],"making":[41],"even":[45],"define":[46],"what":[47],"constitutes":[48],"correct":[49],"behavior.":[50,91],"I":[51,92,108],"propose":[52,109],"a":[53,74],"family":[54],"of":[55,62,81,117],"novel":[56],"model":[59],"the":[60,82,112],"behavior":[61,104],"executing":[63],"programs":[64],"using":[65],"low-level":[66],"signals":[67],"collected":[68],"during":[69],"executions.":[70],"The":[71],"models":[72],"provide":[73],"basis":[75],"for":[76,99],"predicting":[77],"whether":[78],"an":[79],"execution":[80],"program":[83,85],"or":[84],"unit":[86],"under":[87],"test":[88],"represents":[89],"intended":[90],"have":[93],"demonstrated":[94],"success":[95],"these":[97],"detecting":[100],"faulty":[101],"unexpected":[103],"on":[105],"small":[106],"programs.":[107,120],"extend":[111],"work":[113],"smaller":[115],"units":[116],"large,":[118],"complex":[119]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}