{"id":"https://openalex.org/W2138591618","doi":"https://doi.org/10.1109/cmpsac.1995.524785","title":"Object state testing for object-oriented programs","display_name":"Object state testing for object-oriented programs","publication_year":2002,"publication_date":"2002-11-19","ids":{"openalex":"https://openalex.org/W2138591618","doi":"https://doi.org/10.1109/cmpsac.1995.524785","mag":"2138591618"},"language":"en","primary_location":{"id":"doi:10.1109/cmpsac.1995.524785","doi":"https://doi.org/10.1109/cmpsac.1995.524785","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cmpsac.1995.524785","pdf_url":null,"source":{"id":"https://openalex.org/S4210194295","display_name":"IEEE Annual International Computer Software and Applications Conference (COMPSAC)","issn_l":"0730-3157","issn":["0730-3157"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings Nineteenth Annual International Computer Software and Applications Conference (COMPSAC'95)","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/A5074631753","display_name":"Jerry Zeyu Gao","orcid":"https://orcid.org/0000-0002-1051-5839","observed_orcids":["https://orcid.org/0000-0002-1051-5839"]},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J.Z. Gao","raw_affiliation_strings":["University of Texas, Arlington, Arlington, TX, USA","Texas Univ., Arlington, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas, Arlington, Arlington, TX, USA","institution_ids":["https://openalex.org/I189196454"]},{"raw_affiliation_string":"Texas Univ., Arlington, TX, USA","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059951725","display_name":"David Chenho Kung","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"D. Kung","raw_affiliation_strings":["University of Texas, Arlington, Arlington, TX, USA","Texas Univ., Arlington, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas, Arlington, Arlington, TX, USA","institution_ids":["https://openalex.org/I189196454"]},{"raw_affiliation_string":"Texas Univ., Arlington, TX, USA","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111474347","display_name":"Pei Hsia","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P. Hsia","raw_affiliation_strings":["University of Texas, Arlington, Arlington, TX, USA","Texas Univ., Arlington, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas, Arlington, Arlington, TX, USA","institution_ids":["https://openalex.org/I189196454"]},{"raw_affiliation_string":"Texas Univ., Arlington, TX, USA","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053364687","display_name":"Yasufumi Toyoshima","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Y. Toyoshima","raw_affiliation_strings":["Fujitsu Network Transmission Systems, Inc., San Jose, CA, USA","University of Texas at Arlington"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fujitsu Network Transmission Systems, Inc., San Jose, CA, USA","institution_ids":[]},{"raw_affiliation_string":"University of Texas at Arlington","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110835796","display_name":"C. Chen","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"C. Chen","raw_affiliation_strings":["Fujitsu Network Transmission Systems, Inc., San Jose, CA, USA","University of Texas at Arlington"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fujitsu Network Transmission Systems, Inc., San Jose, CA, USA","institution_ids":[]},{"raw_affiliation_string":"University of Texas at Arlington","institution_ids":["https://openalex.org/I189196454"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I189196454"],"apc_list":null,"apc_paid":null,"fwci":2.2961,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.87857514,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"232","last_page":"238"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","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/T11450","display_name":"Model-Driven Software Engineering Techniques","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"}}],"keywords":[{"id":"https://openalex.org/keywords/object-oriented-software","display_name":"object-oriented software","score":0.8220000267028809},{"id":"https://openalex.org/keywords/inheritance-object-oriented-programming","display_name":"inheritance (object-oriented programming)","score":0.8309999704360962},{"id":"https://openalex.org/keywords/aggregation","display_name":"aggregation","score":0.9660000205039978},{"id":"https://openalex.org/keywords/method-overloading","display_name":"method overloading","score":0.9089999794960022},{"id":"https://openalex.org/keywords/test-case-generation","display_name":"test case generation","score":0.6190000176429749},{"id":"https://openalex.org/keywords/test-criteria","display_name":"test criteria","score":0.8199999928474426}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7882686853408813},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6063038110733032},{"id":"https://openalex.org/C2781289151","wikidata":"https://www.wikidata.org/wiki/Q2903989","display_name":"Class hierarchy","level":3,"score":0.591242790222168},{"id":"https://openalex.org/C512554520","wikidata":"https://www.wikidata.org/wiki/Q815844","display_name":"Method","level":3,"score":0.5897214412689209},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.5891818404197693},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5440433025360107},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.5395957231521606},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.4876593351364136},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48511946201324463},{"id":"https://openalex.org/C20894473","wikidata":"https://www.wikidata.org/wiki/Q1116105","display_name":"Object model","level":3,"score":0.4690665900707245},{"id":"https://openalex.org/C2780902518","wikidata":"https://www.wikidata.org/wiki/Q6033780","display_name":"Inheritance (genetic algorithm)","level":3,"score":0.45137351751327515},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.43516111373901367},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.4173579812049866},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.28117889165878296},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2721019983291626},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.205307275056839},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.17180368304252625},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12236529588699341},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.1120472252368927},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cmpsac.1995.524785","doi":"https://doi.org/10.1109/cmpsac.1995.524785","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cmpsac.1995.524785","pdf_url":null,"source":{"id":"https://openalex.org/S4210194295","display_name":"IEEE Annual International Computer Software and Applications Conference (COMPSAC)","issn_l":"0730-3157","issn":["0730-3157"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings Nineteenth Annual International Computer Software and Applications Conference (COMPSAC'95)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W38316647","https://openalex.org/W127224647","https://openalex.org/W1910771831","https://openalex.org/W2011762419","https://openalex.org/W2064650227","https://openalex.org/W2099293367","https://openalex.org/W2104298704","https://openalex.org/W2121212903","https://openalex.org/W2148931299","https://openalex.org/W3189142755","https://openalex.org/W4248178742","https://openalex.org/W6675417655"],"related_works":["https://openalex.org/W1554437460","https://openalex.org/W2030256406","https://openalex.org/W2143199566","https://openalex.org/W7098489415","https://openalex.org/W2104298704","https://openalex.org/W2148931299","https://openalex.org/W2122161829","https://openalex.org/W1906495708","https://openalex.org/W126689460","https://openalex.org/W2017052232"],"abstract_inverted_index":{"Since":[0],"class":[1,107,136],"objects":[2,20,49,85],"are":[3],"the":[4,16,46,81,96,125,129,144],"major":[5],"components":[6],"in":[7,25,50,86],"object":[8,28,74,130,149],"oriented":[9,29],"(OO)":[10],"programs":[11,30],"during":[12],"run":[13],"time,":[14],"testing":[15,26,40],"behavior":[17,47,83],"of":[18,27,35,48,84,95,127],"these":[19],"become":[21],"an":[22,87,93],"important":[23],"task":[24],"to":[31,56,77,148],"complement":[32],"other":[33,114],"types":[34],"testing,":[36],"such":[37,105],"as,":[38],"structure":[39],"and":[41,60,79,111,146,155],"functional":[42],"testing.":[43],"To":[44],"check":[45,57],"OO":[51,88,103],"programs,":[52],"it":[53,100,116],"is":[54,92,117],"essential":[55],"each":[58,61],"state":[59,75,98,121,131,150],"transition":[62],"for":[63,133],"every":[64],"object.":[65,137],"The":[66,90],"paper":[67],"proposes":[68],"a":[69,118,134],"new":[70],"test":[71,151,153,156],"model,":[72],"called":[73],"diagram,":[76],"capture":[78],"represent":[80],"dynamic":[82],"program.":[89],"model":[91,141],"extension":[94],"existing":[97],"models,":[99,115],"supports":[101],"basic":[102],"features,":[104],"as":[106],"objects,":[108],"inheritance,":[109],"aggregation":[110],"overloading.":[112],"Unlike":[113],"concurrent,":[119],"communicating":[120],"machine":[122],"which":[123],"has":[124],"capability":[126],"representing":[128],"hierarchy":[132],"complex":[135],"Based":[138],"on":[139],"this":[140],"we":[142],"address":[143],"issues":[145],"solutions":[147],"strategy,":[152],"criteria":[154],"generation.":[157]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}