{"id":"https://openalex.org/W2550995064","doi":"https://doi.org/10.1145/2976796.2988179","title":"Reliability Evaluation of Behavioral Representations from Multimedia Applications","display_name":"Reliability Evaluation of Behavioral Representations from Multimedia Applications","publication_year":2016,"publication_date":"2016-11-07","ids":{"openalex":"https://openalex.org/W2550995064","doi":"https://doi.org/10.1145/2976796.2988179","mag":"2550995064"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2976796.2988179","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5026133461","display_name":"Thiago Monteiro Prota","orcid":null},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Thiago Monteiro Prota","raw_affiliation_strings":["Universidade Federal de Pernambuco (UFPE), Recife, Brazil"],"affiliations":[{"raw_affiliation_string":"Universidade Federal de Pernambuco (UFPE), Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071717962","display_name":"Douglas V\u00e9ras","orcid":"https://orcid.org/0000-0002-7405-0380"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Douglas V\u00e9ras","raw_affiliation_strings":["Universidade Federal de Pernambuco (UFPE), Recife, Brazil"],"affiliations":[{"raw_affiliation_string":"Universidade Federal de Pernambuco (UFPE), Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006734190","display_name":"Carlos Ferraz","orcid":"https://orcid.org/0000-0002-4861-0719"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Carlos Ferraz","raw_affiliation_strings":["Universidade Federal de Pernambuco (UFPE), Recife, Brazil"],"affiliations":[{"raw_affiliation_string":"Universidade Federal de Pernambuco (UFPE), Recife, Brazil","institution_ids":["https://openalex.org/I25112270"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":66},"biblio":{"volume":null,"issue":null,"first_page":"223","last_page":"226"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9996,"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":0.9996,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9984,"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/representation","display_name":"Representation","score":0.60968596},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.480069}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.87551},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.7263839},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.60968596},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.59656537},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.58772194},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.57085496},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5196656},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.49850202},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.480069},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4456471},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.33488953},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26528192},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2976796.2988179","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":9,"referenced_works":["https://openalex.org/W1511267087","https://openalex.org/W1842503650","https://openalex.org/W1876404477","https://openalex.org/W1987325302","https://openalex.org/W2067007638","https://openalex.org/W2090995843","https://openalex.org/W2108632968","https://openalex.org/W4291213652","https://openalex.org/W75861454"],"related_works":["https://openalex.org/W4387024110","https://openalex.org/W4281261571","https://openalex.org/W4251237796","https://openalex.org/W3081644756","https://openalex.org/W2535494882","https://openalex.org/W2355522437","https://openalex.org/W2130298743","https://openalex.org/W2098353690","https://openalex.org/W2062195135","https://openalex.org/W1482682731"],"abstract_inverted_index":{"There":[0],"are":[1],"several":[2],"efforts":[3],"that":[4,101],"seek":[5],"to":[6,9,28,50,82],"provide":[7,29],"abstractions":[8,30,70],"represent":[10],"the":[11,39,52,66,84,87,103,107,129],"behavior":[12],"of":[13,42,68,86,90,110,120],"multimedia":[14,91],"applications,":[15,92],"each":[16],"with":[17],"its":[18],"limitations":[19],"and":[20],"complexity.":[21],"In":[22,58,74],"this":[23,59,75],"scenario,":[24],"it":[25,46],"is":[26,47,62],"common":[27],"based":[31],"on":[32],"state":[33,54],"machines,":[34],"because":[35],"they":[36],"adequately":[37],"define":[38],"behavioral":[40,104],"transitions":[41],"these":[43,69],"applications.":[44,112],"However,":[45],"not":[48],"trivial":[49],"identify":[51],"real":[53,99],"machine":[55],"from":[56,106],"application.":[57],"context,":[60],"reliability":[61,85],"quite":[63],"critical,":[64],"given":[65],"applicability":[67],"in":[71,96,128],"many":[72],"activities.":[73],"work,":[76],"we":[77],"present":[78],"a":[79,98,116,124],"controlled":[80],"experiment":[81],"evaluate":[83],"state-based":[88],"representation":[89],"applying":[93],"an":[94],"approach":[95,114],"evaluating":[97],"solution":[100],"extracts":[102],"model":[105],"source":[108],"code":[109],"NCL":[111],"Our":[113],"uses":[115],"finite":[117],"representative":[118],"set":[119],"sequences":[121],"defined":[122],"by":[123],"test-cases":[125],"generation":[126],"technique":[127],"evaluation":[130],"process.":[131]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2550995064","counts_by_year":[],"updated_date":"2024-12-05T22:40:24.022403","created_date":"2016-11-30"}