{"id":"https://openalex.org/W2139378910","doi":"https://doi.org/10.1109/tse.2002.1010062","title":"Incremental integration testing of concurrent programs","display_name":"Incremental integration testing of concurrent programs","publication_year":2002,"publication_date":"2002-06-01","ids":{"openalex":"https://openalex.org/W2139378910","doi":"https://doi.org/10.1109/tse.2002.1010062","mag":"2139378910"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2002.1010062","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2002.1010062","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056159032","display_name":"Pramod V. Koppol","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167249","display_name":"Network Technologies (United States)","ror":"https://ror.org/05xnsth60","country_code":"US","type":"company","lineage":["https://openalex.org/I4210167249"]},{"id":"https://openalex.org/I72090969","display_name":"Nokia (United States)","ror":"https://ror.org/038km2573","country_code":"US","type":"company","lineage":["https://openalex.org/I2738502077","https://openalex.org/I72090969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P.V. Koppol","raw_affiliation_strings":["High Speed Networks Research Department Bell Labs, Lucent Technologies, Inc., Holmdel, NJ, USA","High Speed Networks Res. Dept., Lucent Technol. Bell Labs, Holmdel, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"High Speed Networks Research Department Bell Labs, Lucent Technologies, Inc., Holmdel, NJ, USA","institution_ids":["https://openalex.org/I4210167249"]},{"raw_affiliation_string":"High Speed Networks Res. Dept., Lucent Technol. Bell Labs, Holmdel, NJ, USA","institution_ids":["https://openalex.org/I72090969"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110257588","display_name":"Richard H. Carver","orcid":null},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R.H. Carver","raw_affiliation_strings":["Department of Computer Science, George Mason University, Fairfax, VA, USA","George Mason Univ.Fairfax, VA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, George Mason University, Fairfax, VA, USA","institution_ids":["https://openalex.org/I162714631"]},{"raw_affiliation_string":"George Mason Univ.Fairfax, VA","institution_ids":["https://openalex.org/I162714631"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078336365","display_name":"Kuo\u2010Chung Tai","orcid":null},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kuo-Chung Tai","raw_affiliation_strings":["Department of Computer Science, North Carolina State University, Raleigh, NC, USA","North Carolina State University, Raleigh, NC;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, North Carolina State University, Raleigh, NC, USA","institution_ids":["https://openalex.org/I137902535"]},{"raw_affiliation_string":"North Carolina State University, Raleigh, NC;","institution_ids":["https://openalex.org/I137902535"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.4766,"has_fulltext":false,"cited_by_count":51,"citation_normalized_percentile":{"value":0.92230047,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"28","issue":"6","first_page":"607","last_page":"623"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9990000128746033,"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.9987000226974487,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.9591124057769775},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7875952124595642},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.6321730613708496},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4712890684604645},{"id":"https://openalex.org/keywords/power-graph-analysis","display_name":"Power graph analysis","score":0.43529003858566284},{"id":"https://openalex.org/keywords/transitive-reduction","display_name":"Transitive reduction","score":0.4284384250640869},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34464871883392334},{"id":"https://openalex.org/keywords/line-graph","display_name":"Line graph","score":0.08498749136924744},{"id":"https://openalex.org/keywords/voltage-graph","display_name":"Voltage graph","score":0.08261439204216003}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9591124057769775},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7875952124595642},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.6321730613708496},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4712890684604645},{"id":"https://openalex.org/C106937863","wikidata":"https://www.wikidata.org/wiki/Q7236518","display_name":"Power graph analysis","level":3,"score":0.43529003858566284},{"id":"https://openalex.org/C129691609","wikidata":"https://www.wikidata.org/wiki/Q3088151","display_name":"Transitive reduction","level":5,"score":0.4284384250640869},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34464871883392334},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.08498749136924744},{"id":"https://openalex.org/C22149727","wikidata":"https://www.wikidata.org/wiki/Q7940747","display_name":"Voltage graph","level":4,"score":0.08261439204216003}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2002.1010062","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2002.1010062","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"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.49000000953674316,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W90253587","https://openalex.org/W258022877","https://openalex.org/W1498760855","https://openalex.org/W1503973138","https://openalex.org/W1553628167","https://openalex.org/W1559507652","https://openalex.org/W1563242841","https://openalex.org/W1579910157","https://openalex.org/W1965253335","https://openalex.org/W1968552123","https://openalex.org/W1971107784","https://openalex.org/W1978358700","https://openalex.org/W1979669672","https://openalex.org/W1995284925","https://openalex.org/W1995736448","https://openalex.org/W1999263152","https://openalex.org/W2008080405","https://openalex.org/W2013668836","https://openalex.org/W2014617929","https://openalex.org/W2021473546","https://openalex.org/W2030837954","https://openalex.org/W2032229978","https://openalex.org/W2041669452","https://openalex.org/W2043292640","https://openalex.org/W2051020320","https://openalex.org/W2052958388","https://openalex.org/W2100580381","https://openalex.org/W2109180425","https://openalex.org/W2109244780","https://openalex.org/W2135274583","https://openalex.org/W2137467159","https://openalex.org/W2139378910","https://openalex.org/W2140116462","https://openalex.org/W2145326461","https://openalex.org/W2167990600","https://openalex.org/W2176300081","https://openalex.org/W2293624369","https://openalex.org/W2412122876","https://openalex.org/W2589217375","https://openalex.org/W3144368627","https://openalex.org/W4211008702","https://openalex.org/W4235775353","https://openalex.org/W4237631564","https://openalex.org/W4250663570","https://openalex.org/W4254170367","https://openalex.org/W6603748808"],"related_works":["https://openalex.org/W2963892764","https://openalex.org/W2772294324","https://openalex.org/W2798731600","https://openalex.org/W2047831585","https://openalex.org/W4253760428","https://openalex.org/W2135565307","https://openalex.org/W145334972","https://openalex.org/W3098656572","https://openalex.org/W4388483689","https://openalex.org/W2963595975"],"abstract_inverted_index":{"We":[0,121,147,177],"present":[1,122,190],"a":[2,24,31,53,61,69,84,88,149],"method":[3],"for":[4,8,56,87,118,137,144,155,174,182],"selecting":[5,20,183],"test":[6,21,57,138,145],"sequences":[7,22],"concurrent":[9,128],"programs":[10],"from":[11,23,48,186],"labeled":[12,161],"transitions":[13],"systems":[14],"(LTS).":[15],"A":[16],"common":[17],"approach":[18,125],"to":[19,29,45,126],"set":[25],"of":[26,81,90,102,133,152,197],"LTSs":[27],"is":[28,167],"derive":[30],"global":[32],"LTS,":[33],"called":[34,158],"the":[35,49,97,103],"reachability":[36,54,77,85,109,135,153],"graph,":[37,94],"and":[38,95,141,189],"then":[39],"force":[40],"deterministic":[41,119,142,175],"program":[42],"executions":[43],"according":[44],"paths":[46,185],"selected":[47],"graph.":[50],"However,":[51],"using":[52,75,96],"graph":[55,71,86,99,154],"path":[58,139],"selection":[59,140],"introduces":[60],"state":[62],"explosion":[63],"problem.":[64],"To":[65],"overcome":[66],"this":[67,93],"problem,":[68],"reduced":[70,98,113],"can":[72],"be":[73],"generated":[74],"incremental":[76,108,124,134,156],"analysis,":[78,157],"which":[79],"consists":[80,132],"repeatedly":[82],"generating":[83],"subset":[89],"LTSs,":[91],"reducing":[92],"in":[100],"place":[101],"original":[104],"LTSs.":[105],"Unfortunately,":[106],"existing":[107],"analysis":[110,136],"techniques":[111],"generate":[112],"graphs":[114],"with":[115,171],"insufficient":[116],"information":[117,172],"testing.":[120,176],"an":[123,159,168,187,191],"testing":[127,131,143],"programs.":[129],"Incremental":[130],"execution.":[146],"define":[148],"new":[150],"type":[151],"annotated":[160,170],"transition":[162],"system":[163],"(ALTS).":[164],"An":[165],"ALTS":[166,188,192],"LTS":[169],"necessary":[173],"propose":[178],"practical":[179],"coverage":[180],"criteria":[181],"tests":[184],"reduction":[193],"algorithm.":[194],"The":[195],"results":[196],"several":[198],"case":[199],"studies":[200],"are":[201],"reported.":[202]},"counts_by_year":[{"year":2024,"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":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}