{"id":"https://openalex.org/W2081070822","doi":"https://doi.org/10.1109/icst.2014.19","title":"Data-Flow Testing in the Large","display_name":"Data-Flow Testing in the Large","publication_year":2014,"publication_date":"2014-03-01","ids":{"openalex":"https://openalex.org/W2081070822","doi":"https://doi.org/10.1109/icst.2014.19","mag":"2081070822"},"language":"en","primary_location":{"id":"doi:10.1109/icst.2014.19","doi":"https://doi.org/10.1109/icst.2014.19","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst.2014.19","pdf_url":null,"source":{"id":"https://openalex.org/S7407085955","display_name":"IEEE International Conference on Software Testing, Verification and Validation (ICST)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE Seventh International Conference on Software Testing, Verification and Validation","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5110562424","display_name":"Roberto Paulo Andrioli de Araujo","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Roberto Paulo Andrioli de Araujo","raw_affiliation_strings":["Software Anal. & Experimentation Group, Univ. of Sao Paulo, Sao Paulo, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Anal. & Experimentation Group, Univ. of Sao Paulo, Sao Paulo, Brazil","institution_ids":["https://openalex.org/I17974374"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020521912","display_name":"Marcos Lordello Chaim","orcid":"https://orcid.org/0000-0001-7157-5141","observed_orcids":["https://orcid.org/0000-0001-7157-5141"]},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Marcos Lordello Chaim","raw_affiliation_strings":["Software Analysis and Experimentation Group \u2014 SAEG, University of Sao Paulo","Software Anal. & Experimentation Group, Univ. of Sao Paulo, Sao Paulo, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Analysis and Experimentation Group \u2014 SAEG, University of Sao Paulo","institution_ids":["https://openalex.org/I17974374"]},{"raw_affiliation_string":"Software Anal. & Experimentation Group, Univ. of Sao Paulo, Sao Paulo, Brazil","institution_ids":["https://openalex.org/I17974374"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I17974374"],"apc_list":null,"apc_paid":null,"fwci":1.0389,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.72196478,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"81","last_page":"90"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.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.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/data-flow-testing","display_name":"data flow testing","score":1.0},{"id":"https://openalex.org/keywords/bit-vectors","display_name":"bit vectors","score":0.7570000290870667},{"id":"https://openalex.org/keywords/large-scale-software-systems","display_name":"large software systems","score":0.5929999947547913},{"id":"https://openalex.org/keywords/bytecode","display_name":"bytecode","score":0.7549999952316284},{"id":"https://openalex.org/keywords/runtime-overhead","display_name":"runtime overhead","score":0.6119999885559082}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7933260202407837},{"id":"https://openalex.org/C176809094","wikidata":"https://www.wikidata.org/wiki/Q15401496","display_name":"Traverse","level":2,"score":0.7762373685836792},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.7599360942840576},{"id":"https://openalex.org/C134765980","wikidata":"https://www.wikidata.org/wiki/Q879126","display_name":"Bitwise operation","level":2,"score":0.7546484470367432},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.4416027069091797},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4415798783302307},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.4141963720321655},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3472236394882202},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2515961527824402},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.2479422688484192},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11718454957008362},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icst.2014.19","doi":"https://doi.org/10.1109/icst.2014.19","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst.2014.19","pdf_url":null,"source":{"id":"https://openalex.org/S7407085955","display_name":"IEEE International Conference on Software Testing, Verification and Validation (ICST)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE Seventh International Conference on Software Testing, Verification and Validation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W60774776","https://openalex.org/W1491178396","https://openalex.org/W1495147523","https://openalex.org/W1972091638","https://openalex.org/W1985551847","https://openalex.org/W2017823104","https://openalex.org/W2028536280","https://openalex.org/W2069406606","https://openalex.org/W2086868742","https://openalex.org/W2097831214","https://openalex.org/W2111050562","https://openalex.org/W2118092766","https://openalex.org/W2121669067","https://openalex.org/W2134691366","https://openalex.org/W2140474090","https://openalex.org/W2150129373","https://openalex.org/W2151099659","https://openalex.org/W2169212615","https://openalex.org/W4231120124","https://openalex.org/W4236200536","https://openalex.org/W4247094842"],"related_works":["https://openalex.org/W7120462972","https://openalex.org/W1480496626","https://openalex.org/W2086868742","https://openalex.org/W1494282160","https://openalex.org/W2795151801","https://openalex.org/W2140474090","https://openalex.org/W2596289355","https://openalex.org/W2013382827","https://openalex.org/W925335253","https://openalex.org/W1606432063"],"abstract_inverted_index":{"Data-flow":[0],"(DF)":[1],"testing":[2,44,58,175],"was":[3,100,166],"introduced":[4],"more":[5,151],"than":[6,152],"thirty":[7],"years":[8],"ago":[9],"aiming":[10],"at":[11,78,98],"extensively":[12],"evaluating":[13],"a":[14,22,29,36,172],"program":[15],"structure.":[16],"It":[17],"requires":[18],"tests":[19],"that":[20,139,169],"traverse":[21],"path":[23],"in":[24,68,129],"which":[25,87],"the":[26,72,105,163],"definition":[27],"of":[28,107,131],"variable":[30],"and":[31,53,91,133,155],"its":[32],"subsequent":[33],"use,":[34],"i.e.,":[35],"definition-use":[37],"association":[38],"(dua),":[39],"is":[40,67],"exercised.":[41],"While":[42],"control-flow":[43,174],"tools":[45,59],"have":[46,60],"being":[47],"able":[48,117,145],"to":[49,62,71,118,122,146],"tackle":[50,147],"big":[51],"systems-large":[52],"long":[54],"running":[55],"programs,":[56],"DF":[57],"failed":[61],"do":[63],"so.":[64],"This":[65,102],"situation":[66],"part":[69],"due":[70],"costs":[73],"associated":[74],"with":[75,120,126,150,168],"tracking":[76,95],"duas":[77,97],"run-time.":[79],"Recently,":[80],"an":[81],"algorithm,":[82],"called":[83],"Bitwise":[84],"Algorithm":[85],"(BA),":[86],"uses":[88],"bit":[89],"vectors":[90],"bitwise":[92],"operations":[93],"for":[94,109,160],"intra-procedural":[96],"run-time,":[99],"proposed.":[101],"paper":[103],"presents":[104],"implementation":[106],"BA":[108,142],"programs":[110,125,162],"compiled":[111],"into":[112],"bytecodes.":[113],"Previous":[114],"approaches":[115],"were":[116],"deal":[119],"small":[121],"medium":[123],"size":[124],"high":[127],"penalties":[128],"terms":[130],"execution":[132,164],"memory.":[134],"Our":[135],"experimental":[136],"results":[137],"show":[138],"by":[140,171],"using":[141],"we":[143],"are":[144],"large":[148],"systems":[149],"200":[153],"KLOCs":[154],"300K":[156],"required":[157],"duas.":[158],"Furthermore,":[159],"several":[161],"penalty":[165],"comparable":[167],"imposed":[170],"popular":[173],"tool.":[176]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}