{"id":"https://openalex.org/W2112721145","doi":"https://doi.org/10.1145/1146238.1146262","title":"Application of automated environment generation to commercial software","display_name":"Application of automated environment generation to commercial software","publication_year":2006,"publication_date":"2006-07-21","ids":{"openalex":"https://openalex.org/W2112721145","doi":"https://doi.org/10.1145/1146238.1146262","mag":"2112721145"},"language":"en","primary_location":{"id":"doi:10.1145/1146238.1146262","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1146238.1146262","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 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/A5112571440","display_name":"Oksana Tkachuk","orcid":null},"institutions":[{"id":"https://openalex.org/I4210094759","display_name":"Fujitsu (United States)","ror":"https://ror.org/0073whr05","country_code":"US","type":"company","lineage":["https://openalex.org/I2252096349","https://openalex.org/I4210094759"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Oksana Tkachuk","raw_affiliation_strings":["Fujitsu Laboratories of America, Sunnyvale, CA"],"affiliations":[{"raw_affiliation_string":"Fujitsu Laboratories of America, Sunnyvale, CA","institution_ids":["https://openalex.org/I4210094759"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111449373","display_name":"Sreeranga P. Rajan","orcid":null},"institutions":[{"id":"https://openalex.org/I4210094759","display_name":"Fujitsu (United States)","ror":"https://ror.org/0073whr05","country_code":"US","type":"company","lineage":["https://openalex.org/I2252096349","https://openalex.org/I4210094759"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sreeranga P. Rajan","raw_affiliation_strings":["Fujitsu Laboratories of America, Sunnyvale, CA"],"affiliations":[{"raw_affiliation_string":"Fujitsu Laboratories of America, Sunnyvale, CA","institution_ids":["https://openalex.org/I4210094759"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5112571440"],"corresponding_institution_ids":["https://openalex.org/I4210094759"],"apc_list":null,"apc_paid":null,"fwci":4.0664,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.93719754,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"203","last_page":"214"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"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.9994999766349792,"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.8770076632499695},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6119541525840759},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5841773748397827},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.541463315486908},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5286089777946472},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.4708936810493469},{"id":"https://openalex.org/keywords/source-lines-of-code","display_name":"Source lines of code","score":0.4636709690093994},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4505605101585388},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44559410214424133},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.37874269485473633},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36496829986572266},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.27610594034194946}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8770076632499695},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6119541525840759},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5841773748397827},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.541463315486908},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5286089777946472},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.4708936810493469},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.4636709690093994},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4505605101585388},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44559410214424133},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37874269485473633},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36496829986572266},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.27610594034194946}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1146238.1146262","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1146238.1146262","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 international symposium on Software testing and analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W207759855","https://openalex.org/W298244054","https://openalex.org/W1546606300","https://openalex.org/W1562915062","https://openalex.org/W1595979272","https://openalex.org/W1720848645","https://openalex.org/W1879985069","https://openalex.org/W1978200607","https://openalex.org/W1991339794","https://openalex.org/W2002219805","https://openalex.org/W2041378382","https://openalex.org/W2054450126","https://openalex.org/W2082766667","https://openalex.org/W2098039922","https://openalex.org/W2111692334","https://openalex.org/W2119467398","https://openalex.org/W2121059325","https://openalex.org/W2124877509","https://openalex.org/W2133688308","https://openalex.org/W2135274583","https://openalex.org/W2135642703","https://openalex.org/W2142851953","https://openalex.org/W2154606260","https://openalex.org/W2162120832","https://openalex.org/W2162284942","https://openalex.org/W2169082868","https://openalex.org/W2171480813","https://openalex.org/W2217511707","https://openalex.org/W4231709874","https://openalex.org/W4238269194","https://openalex.org/W4242057943","https://openalex.org/W4242824530","https://openalex.org/W4248332232","https://openalex.org/W4253606798"],"related_works":["https://openalex.org/W2378076731","https://openalex.org/W4286888643","https://openalex.org/W2749690376","https://openalex.org/W3210795196","https://openalex.org/W2786317006","https://openalex.org/W1538854713","https://openalex.org/W4367724653","https://openalex.org/W1888970550","https://openalex.org/W2088988140","https://openalex.org/W2462966030"],"abstract_inverted_index":{"Model":[0],"checking":[1,24,40,137],"can":[2],"be":[3,27,90],"an":[4,110],"effective":[5],"technique":[6,123],"for":[7,172,193,200],"detecting":[8],"concurrency-related":[9],"errors":[10,43,198],"in":[11,44,124,133],"software":[12],"systems.":[13],"However,":[14],"due":[15],"to":[16,19,26,41,70,89,93,101,151,206],"scalability":[17],"issues,":[18],"handle":[20],"industrial-strength":[21],"software,":[22,50],"model":[23,39,63,104,136],"needs":[25,69],"combined":[28],"with":[29,187],"powerful":[30],"reduction":[31,122],"techniques.":[32],"In":[33],"this":[34,106],"work,":[35],"we":[36,108,144],"applied":[37],"modular":[38,170],"detect":[42],"Interstage":[45],"Business":[46],"Process":[47],"Management":[48],"(I-BPM)":[49],"a":[51,65,82,121,188],"Java":[52],"client-server":[53],"application":[54,141],"spanning":[55],"more":[56],"than":[57],"500,000":[58],"lines":[59],"of":[60,74,117,129,138,147,169],"code.":[61],"To":[62],"check":[64],"separate":[66],"module,":[67],"one":[68],"represent":[71],"its":[72,77],"context":[73],"execution,":[75],"i.e.,":[76],"environment.":[78],"Environment":[79,163],"generation":[80,119,132],"is":[81,88],"significant":[83],"challenge,":[84],"since":[85],"the":[86,95,115,127,139,197],"environment":[87,118,131],"general":[91,125],"enough":[92,100],"uncover":[94,196],"module's":[96],"errors,":[97],"yet":[98],"restrictive":[99],"allow":[102],"tractable":[103],"checking.In":[105],"paper,":[107],"present":[109,167],"experimental":[111],"study":[112],"that":[113,181],"demonstrates":[114],"effectiveness":[116,128],"as":[120],"and":[126,175],"automated":[130],"particular.":[134],"Since":[135],"original":[140],"was":[142],"intractable,":[143],"compared":[145],"performance":[146],"automatically":[148,182],"generated":[149,183],"environments":[150,152,158,184],"written":[153],"previously":[154],"by":[155],"hand.":[156],"Automatic":[157],"were":[159],"obtained":[160],"using":[161],"Bandera":[162],"Generator":[164],"(BEG).":[165],"We":[166],"results":[168,179],"verification":[171],"both":[173],"manual":[174,207],"automatic":[176],"environments.":[177,208],"The":[178],"show":[180],"produce":[185,203],"systems":[186],"smaller":[189],"state":[190],"space,":[191],"yet,":[192],"faulty":[194],"modules,":[195,202],"and,":[199],"error-free":[201],"coverage":[204],"similar":[205]},"counts_by_year":[{"year":2014,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}