{"id":"https://openalex.org/W2364496964","doi":"https://doi.org/10.1109/tse.2015.2490067","title":"Bidirectional Symbolic Analysis for Effective Branch Testing","display_name":"Bidirectional Symbolic Analysis for Effective Branch Testing","publication_year":2015,"publication_date":"2015-10-13","ids":{"openalex":"https://openalex.org/W2364496964","doi":"https://doi.org/10.1109/tse.2015.2490067","mag":"2364496964"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2015.2490067","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2015.2490067","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10281/137104","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078854742","display_name":"Mauro Baluda","orcid":null},"institutions":[{"id":"https://openalex.org/I4210087817","display_name":"Software (Germany)","ror":"https://ror.org/004g36n56","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210087817"]},{"id":"https://openalex.org/I4210133470","display_name":"Fraunhofer Institute for Secure Information Technology","ror":"https://ror.org/03qt2gs44","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210133470","https://openalex.org/I4923324"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mauro Baluda","raw_affiliation_strings":["Secure Software Engineering Group, Fraunhofer SIT, Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Secure Software Engineering Group, Fraunhofer SIT, Darmstadt, Germany","institution_ids":["https://openalex.org/I4210133470","https://openalex.org/I4210087817"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038269238","display_name":"Giovanni Denaro","orcid":"https://orcid.org/0000-0002-7566-8051"},"institutions":[{"id":"https://openalex.org/I4210087817","display_name":"Software (Germany)","ror":"https://ror.org/004g36n56","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210087817"]},{"id":"https://openalex.org/I4210133470","display_name":"Fraunhofer Institute for Secure Information Technology","ror":"https://ror.org/03qt2gs44","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210133470","https://openalex.org/I4923324"]},{"id":"https://openalex.org/I66752286","display_name":"University of Milano-Bicocca","ror":"https://ror.org/01ynf4891","country_code":"IT","type":"education","lineage":["https://openalex.org/I66752286"]}],"countries":["DE","IT"],"is_corresponding":false,"raw_author_name":"Giovanni Denaro","raw_affiliation_strings":["Department of Informatics, Systems and Communication, Universit\u00e0 di Milano-Bicocca, Milano, Italy","Secure Software Engineering Group, Fraunhofer SIT, Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, Systems and Communication, Universit\u00e0 di Milano-Bicocca, Milano, Italy","institution_ids":["https://openalex.org/I66752286"]},{"raw_affiliation_string":"Secure Software Engineering Group, Fraunhofer SIT, Darmstadt, Germany","institution_ids":["https://openalex.org/I4210133470","https://openalex.org/I4210087817"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066540482","display_name":"Mauro Pezz\u00e8","orcid":"https://orcid.org/0000-0001-5193-7379"},"institutions":[{"id":"https://openalex.org/I4210087817","display_name":"Software (Germany)","ror":"https://ror.org/004g36n56","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210087817"]},{"id":"https://openalex.org/I4210133470","display_name":"Fraunhofer Institute for Secure Information Technology","ror":"https://ror.org/03qt2gs44","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210133470","https://openalex.org/I4923324"]},{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH","DE"],"is_corresponding":false,"raw_author_name":"Mauro Pezz\u00e8","raw_affiliation_strings":["Faculty of Informatics, Universit\u00e0 della Svizzera italiana, Lugano, Switzerland","Secure Software Engineering Group, Fraunhofer SIT, Darmstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Informatics, Universit\u00e0 della Svizzera italiana, Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]},{"raw_affiliation_string":"Secure Software Engineering Group, Fraunhofer SIT, Darmstadt, Germany","institution_ids":["https://openalex.org/I4210133470","https://openalex.org/I4210087817"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.1156,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.96376812,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"42","issue":"5","first_page":"403","last_page":"426"},"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.9987000226974487,"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.9986000061035156,"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/symbolic-execution","display_name":"Symbolic execution","score":0.9358855485916138},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8749749660491943},{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.7846653461456299},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7693805694580078},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7511566281318665},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.6570668816566467},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.6237589716911316},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.6121122241020203},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5514125823974609},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.5193939805030823},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4713574945926666},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.4563201069831848},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43436312675476074},{"id":"https://openalex.org/keywords/symbolic-data-analysis","display_name":"Symbolic data analysis","score":0.4331296682357788},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4134117066860199},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34557271003723145},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1301235854625702},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.12705931067466736}],"concepts":[{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.9358855485916138},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8749749660491943},{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.7846653461456299},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7693805694580078},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7511566281318665},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.6570668816566467},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.6237589716911316},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.6121122241020203},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5514125823974609},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.5193939805030823},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4713574945926666},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.4563201069831848},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43436312675476074},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.4331296682357788},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4134117066860199},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34557271003723145},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1301235854625702},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12705931067466736},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","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},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tse.2015.2490067","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2015.2490067","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:boa.unimib.it:10281/137104","is_oa":true,"landing_page_url":"http://hdl.handle.net/10281/137104","pdf_url":null,"source":{"id":"https://openalex.org/S4306401259","display_name":"BOA (University of Milano-Bicocca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66752286","host_organization_name":"University of Milano-Bicocca","host_organization_lineage":["https://openalex.org/I66752286"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:publica.fraunhofer.de:publica/243293","is_oa":false,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/243293","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"journal article"}],"best_oa_location":{"id":"pmh:oai:boa.unimib.it:10281/137104","is_oa":true,"landing_page_url":"http://hdl.handle.net/10281/137104","pdf_url":null,"source":{"id":"https://openalex.org/S4306401259","display_name":"BOA (University of Milano-Bicocca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66752286","host_organization_name":"University of Milano-Bicocca","host_organization_lineage":["https://openalex.org/I66752286"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322565","display_name":"Stavros Niarchos Foundation","ror":"https://ror.org/0210rze73"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":157,"referenced_works":["https://openalex.org/W12427088","https://openalex.org/W20430633","https://openalex.org/W51507023","https://openalex.org/W52244296","https://openalex.org/W148396834","https://openalex.org/W157156687","https://openalex.org/W195774605","https://openalex.org/W208073541","https://openalex.org/W264111962","https://openalex.org/W413926619","https://openalex.org/W1506554338","https://openalex.org/W1519981183","https://openalex.org/W1531203382","https://openalex.org/W1549166962","https://openalex.org/W1566132409","https://openalex.org/W1577404745","https://openalex.org/W1581520638","https://openalex.org/W1586497944","https://openalex.org/W1710734607","https://openalex.org/W1777881387","https://openalex.org/W1788659055","https://openalex.org/W1869358490","https://openalex.org/W1954816054","https://openalex.org/W1965194038","https://openalex.org/W1966030793","https://openalex.org/W1966634194","https://openalex.org/W1967471703","https://openalex.org/W1974091547","https://openalex.org/W1974394819","https://openalex.org/W1975191777","https://openalex.org/W1975833562","https://openalex.org/W1976727279","https://openalex.org/W1981782233","https://openalex.org/W1982205631","https://openalex.org/W1984842289","https://openalex.org/W1985335248","https://openalex.org/W1986447758","https://openalex.org/W1988441831","https://openalex.org/W1989218486","https://openalex.org/W1990880047","https://openalex.org/W1992105245","https://openalex.org/W1993760289","https://openalex.org/W1997133651","https://openalex.org/W2004071059","https://openalex.org/W2009489720","https://openalex.org/W2009625310","https://openalex.org/W2018017297","https://openalex.org/W2020703884","https://openalex.org/W2024442685","https://openalex.org/W2032720115","https://openalex.org/W2032782696","https://openalex.org/W2040434142","https://openalex.org/W2040728469","https://openalex.org/W2041470132","https://openalex.org/W2046387193","https://openalex.org/W2050853996","https://openalex.org/W2052190470","https://openalex.org/W2052495090","https://openalex.org/W2055489377","https://openalex.org/W2059942119","https://openalex.org/W2060476709","https://openalex.org/W2061438988","https://openalex.org/W2063647782","https://openalex.org/W2067544274","https://openalex.org/W2074595759","https://openalex.org/W2074888021","https://openalex.org/W2075485888","https://openalex.org/W2076880263","https://openalex.org/W2080573945","https://openalex.org/W2082172430","https://openalex.org/W2082274331","https://openalex.org/W2088017390","https://openalex.org/W2088157410","https://openalex.org/W2090754600","https://openalex.org/W2095551048","https://openalex.org/W2096449544","https://openalex.org/W2097284057","https://openalex.org/W2098316496","https://openalex.org/W2101512909","https://openalex.org/W2101629181","https://openalex.org/W2103275664","https://openalex.org/W2103953153","https://openalex.org/W2104993088","https://openalex.org/W2105357036","https://openalex.org/W2105864475","https://openalex.org/W2105983962","https://openalex.org/W2106072155","https://openalex.org/W2107484131","https://openalex.org/W2107794009","https://openalex.org/W2109276114","https://openalex.org/W2110311336","https://openalex.org/W2113531724","https://openalex.org/W2114775156","https://openalex.org/W2114869486","https://openalex.org/W2115273016","https://openalex.org/W2116622216","https://openalex.org/W2119717320","https://openalex.org/W2120210839","https://openalex.org/W2120348471","https://openalex.org/W2120713211","https://openalex.org/W2120995957","https://openalex.org/W2122128531","https://openalex.org/W2122598528","https://openalex.org/W2123801862","https://openalex.org/W2126752493","https://openalex.org/W2128705399","https://openalex.org/W2132897303","https://openalex.org/W2133250787","https://openalex.org/W2133612077","https://openalex.org/W2134691366","https://openalex.org/W2134875273","https://openalex.org/W2136978836","https://openalex.org/W2137530017","https://openalex.org/W2142689455","https://openalex.org/W2144123593","https://openalex.org/W2144517099","https://openalex.org/W2146641295","https://openalex.org/W2147826933","https://openalex.org/W2147832077","https://openalex.org/W2151585646","https://openalex.org/W2152492994","https://openalex.org/W2153649445","https://openalex.org/W2157083801","https://openalex.org/W2158248180","https://openalex.org/W2159586681","https://openalex.org/W2159899121","https://openalex.org/W2161253570","https://openalex.org/W2161286953","https://openalex.org/W2161488870","https://openalex.org/W2163266483","https://openalex.org/W2163499368","https://openalex.org/W2164214215","https://openalex.org/W2169063148","https://openalex.org/W2171339035","https://openalex.org/W2171670202","https://openalex.org/W2171683519","https://openalex.org/W2294635730","https://openalex.org/W3138459719","https://openalex.org/W4211181233","https://openalex.org/W4233804448","https://openalex.org/W4236200536","https://openalex.org/W4237492309","https://openalex.org/W4239921445","https://openalex.org/W4242148730","https://openalex.org/W4244488020","https://openalex.org/W4245933182","https://openalex.org/W4246385123","https://openalex.org/W4253970047","https://openalex.org/W4254132856","https://openalex.org/W6606430823","https://openalex.org/W6631721891","https://openalex.org/W6637688222","https://openalex.org/W6662080298","https://openalex.org/W6663488072","https://openalex.org/W6679978559","https://openalex.org/W6681031364","https://openalex.org/W6996011997"],"related_works":["https://openalex.org/W3019261932","https://openalex.org/W2276185690","https://openalex.org/W157156687","https://openalex.org/W2186070848","https://openalex.org/W2914996832","https://openalex.org/W2785720764","https://openalex.org/W844671342","https://openalex.org/W2101264565","https://openalex.org/W2801797726","https://openalex.org/W3172606155"],"abstract_inverted_index":{"Structural":[0],"coverage":[1,48,84,155,193,202],"metrics,":[2],"and":[3,32,65,96,109,139,147,186,214,218],"in":[4,27,161,220,231,248],"particular":[5,241],"branch":[6,74,83,201],"coverage,":[7],"are":[8,24,180],"popular":[9],"approaches":[10,185,239],"to":[11,69,143],"measure":[12],"the":[13,19,28,33,44,47,71,79,86,93,114,127,134,145,148,154,162,166,192,206,222,237,246],"thoroughness":[14],"of":[15,21,35,46,73,82,88,116,126,150,208,224],"test":[16,31,37,94,117,172],"suites.":[17],"Unfortunately,":[18],"presence":[20],"elements":[22],"that":[23,61,165,174,179,204,243],"not":[25,181],"executable":[26,89],"program":[29],"under":[30],"difficulty":[34],"generating":[36],"cases":[38,242],"for":[39,103],"rare":[40,106,176],"conditions":[41,108,178],"impact":[42],"on":[43,123],"effectiveness":[45,72],"obtained":[49],"with":[50,92,183],"current":[51],"approaches.":[52],"In":[53],"this":[54,232],"paper,":[55],"we":[56],"propose":[57],"a":[58,98,124,199],"new":[59,99],"approach":[60,77,120,168,229],"combines":[62],"symbolic":[63,66,101,137,140],"execution":[64,107,129,138,177],"reachability":[67,141],"analysis":[68,102,152,247],"improve":[70],"testing.":[75],"Our":[76],"embraces":[78],"ideal":[80],"definition":[81],"as":[85],"percentage":[87],"branches":[90,112,190,210],"traversed":[91],"suite,":[95],"proposes":[97],"bidirectional":[100,151],"both":[104,170],"testing":[105],"eliminating":[110],"infeasible":[111,189],"from":[113,191,240],"set":[115],"objectives.":[118],"The":[119,131,157,228],"is":[121],"centered":[122],"model":[125,132],"analyzed":[128],"space.":[130],"identifies":[133],"frontier":[135],"between":[136],"analysis,":[142],"guide":[144],"alternation":[146],"progress":[149],"towards":[153],"targets.":[156],"experimental":[158],"results":[159],"presented":[160],"paper":[163,233],"indicate":[164],"proposed":[167,230],"can":[169,196],"find":[171],"inputs":[173],"exercise":[175],"identified":[182],"state-of-the-art":[184],"eliminate":[187],"many":[188],"measurement.":[194],"It":[195],"thus":[197],"produce":[198],"modified":[200],"metric":[203],"indicates":[205],"amount":[207,223],"feasible":[209,226],"covered":[211],"during":[212],"testing,":[213],"helps":[215],"team":[216],"leaders":[217],"developers":[219],"estimating":[221],"not-yet-covered":[225],"branches.":[227],"suffers":[234],"less":[235],"than":[236],"other":[238],"may":[244],"trap":[245],"unbounded":[249],"loops.":[250]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}