{"id":"https://openalex.org/W1587102249","doi":"https://doi.org/10.1109/tr.2015.2436443","title":"Theory of Software Testing With Persistent State","display_name":"Theory of Software Testing With Persistent State","publication_year":2015,"publication_date":"2015-06-19","ids":{"openalex":"https://openalex.org/W1587102249","doi":"https://doi.org/10.1109/tr.2015.2436443","mag":"1587102249"},"language":"en","primary_location":{"id":"doi:10.1109/tr.2015.2436443","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2015.2436443","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","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/A5011587098","display_name":"Dick Hamlet","orcid":null},"institutions":[{"id":"https://openalex.org/I126345244","display_name":"Portland State University","ror":"https://ror.org/00yn2fy02","country_code":"US","type":"education","lineage":["https://openalex.org/I126345244"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Dick Hamlet","raw_affiliation_strings":["Department of Computer Science, Portland State University, Portland, OR, USA","[Department of computer science, Portland State University, Portland, OR, USA]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Portland State University, Portland, OR, USA","institution_ids":["https://openalex.org/I126345244"]},{"raw_affiliation_string":"[Department of computer science, Portland State University, Portland, OR, USA]","institution_ids":["https://openalex.org/I126345244"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5011587098"],"corresponding_institution_ids":["https://openalex.org/I126345244"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.04797939,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"64","issue":"3","first_page":"1098","last_page":"1115"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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":0.9998999834060669,"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.9998999834060669,"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.9995999932289124,"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/software-quality","display_name":"Software quality","score":0.7129607200622559},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.632604718208313},{"id":"https://openalex.org/keywords/random-testing","display_name":"Random testing","score":0.6148765087127686},{"id":"https://openalex.org/keywords/reliability-theory","display_name":"Reliability theory","score":0.6099673509597778},{"id":"https://openalex.org/keywords/software-reliability-testing","display_name":"Software reliability testing","score":0.6008915901184082},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5220091938972473},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.48940005898475647},{"id":"https://openalex.org/keywords/test-theory","display_name":"Test theory","score":0.488427072763443},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4710262715816498},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4502033591270447},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.44613179564476013},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.4455552101135254},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.34318220615386963},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29231077432632446},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.2755369544029236},{"id":"https://openalex.org/keywords/failure-rate","display_name":"Failure rate","score":0.24884137511253357},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18234717845916748},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17900562286376953},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.11789831519126892},{"id":"https://openalex.org/keywords/psychometrics","display_name":"Psychometrics","score":0.10415109992027283},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.09961053729057312}],"concepts":[{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.7129607200622559},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.632604718208313},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.6148765087127686},{"id":"https://openalex.org/C201729545","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability theory","level":3,"score":0.6099673509597778},{"id":"https://openalex.org/C52928878","wikidata":"https://www.wikidata.org/wiki/Q7554226","display_name":"Software reliability testing","level":5,"score":0.6008915901184082},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5220091938972473},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.48940005898475647},{"id":"https://openalex.org/C74143277","wikidata":"https://www.wikidata.org/wiki/Q7705812","display_name":"Test theory","level":3,"score":0.488427072763443},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4710262715816498},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4502033591270447},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.44613179564476013},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.4455552101135254},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.34318220615386963},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29231077432632446},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.2755369544029236},{"id":"https://openalex.org/C163164238","wikidata":"https://www.wikidata.org/wiki/Q2737027","display_name":"Failure rate","level":2,"score":0.24884137511253357},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18234717845916748},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17900562286376953},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11789831519126892},{"id":"https://openalex.org/C171606756","wikidata":"https://www.wikidata.org/wiki/Q506132","display_name":"Psychometrics","level":2,"score":0.10415109992027283},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.09961053729057312},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"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/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tr.2015.2436443","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2015.2436443","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5299999713897705,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":62,"referenced_works":["https://openalex.org/W28352679","https://openalex.org/W163074494","https://openalex.org/W610716651","https://openalex.org/W925204230","https://openalex.org/W1483568252","https://openalex.org/W1486172410","https://openalex.org/W1539432158","https://openalex.org/W1560929940","https://openalex.org/W1565693361","https://openalex.org/W1599012118","https://openalex.org/W1714865987","https://openalex.org/W1853368733","https://openalex.org/W1971991620","https://openalex.org/W1980818933","https://openalex.org/W1984124832","https://openalex.org/W1996517887","https://openalex.org/W1996839061","https://openalex.org/W2034112596","https://openalex.org/W2062602098","https://openalex.org/W2069300761","https://openalex.org/W2071112258","https://openalex.org/W2079729471","https://openalex.org/W2080920278","https://openalex.org/W2081840025","https://openalex.org/W2082661309","https://openalex.org/W2088618231","https://openalex.org/W2097331548","https://openalex.org/W2098456636","https://openalex.org/W2098639318","https://openalex.org/W2099529102","https://openalex.org/W2105357036","https://openalex.org/W2110846749","https://openalex.org/W2112447468","https://openalex.org/W2113004249","https://openalex.org/W2115309705","https://openalex.org/W2126160338","https://openalex.org/W2129259650","https://openalex.org/W2130161283","https://openalex.org/W2132840411","https://openalex.org/W2144973245","https://openalex.org/W2146722262","https://openalex.org/W2150359126","https://openalex.org/W2153649445","https://openalex.org/W2157888382","https://openalex.org/W2159345267","https://openalex.org/W2162373806","https://openalex.org/W2313351254","https://openalex.org/W2336485197","https://openalex.org/W2371818109","https://openalex.org/W2490118050","https://openalex.org/W2501018404","https://openalex.org/W2914956942","https://openalex.org/W3106729728","https://openalex.org/W3157717457","https://openalex.org/W4231791389","https://openalex.org/W4238083723","https://openalex.org/W4242444036","https://openalex.org/W4247262649","https://openalex.org/W4251912342","https://openalex.org/W4285719527","https://openalex.org/W6678934100","https://openalex.org/W6681954588"],"related_works":["https://openalex.org/W2019772216","https://openalex.org/W2042229417","https://openalex.org/W2396637451","https://openalex.org/W1964865600","https://openalex.org/W2068554528","https://openalex.org/W2550054310","https://openalex.org/W3155744979","https://openalex.org/W1995910633","https://openalex.org/W139286382","https://openalex.org/W1587102249"],"abstract_inverted_index":{"Software":[0],"testing":[1,89,154],"began":[2],"as":[3],"an":[4],"empirical":[5],"activity,":[6],"and":[7,61,65,77,90,123,163],"remains":[8],"part":[9],"of":[10,22,72,87,160,171,175],"engineering":[11],"practice":[12],"without":[13],"a":[14,49,68,97,101,116,124,128],"widely":[15],"accepted":[16],"theoretical":[17],"foundation.":[18],"The":[19,132,147],"overwhelming":[20],"majority":[21],"test":[23,139],"methods":[24],"are":[25],"designed":[26],"to":[27,39,56,82,110,119,127,151,156,164],"find":[28],"software":[29,41],"errors,":[30],"termed":[31],"faults,":[32],"in":[33],"program":[34,54,73],"source":[35],"code,":[36],"but":[37],"not":[38],"assess":[40],"operational":[42,91],"quality.":[43],"To":[44],"go":[45],"beyond":[46],"fault-seeking":[47],"requires":[48],"theory":[50,71,81,109,134,148],"that":[51,167],"relates":[52],"static":[53],"properties":[55,174],"executions.":[57],"In":[58,93],"the":[59,85,94,108,120,158,172],"1970s":[60],"1980s,":[62],"Gerhart,":[63],"Howden,":[64],"others":[66,78],"developed":[67],"sound":[69],"functional":[70],"testing.":[74],"Then":[75],"Duran":[76],"used":[79,150],"this":[80],"precisely":[83],"define":[84],"notions":[86],"random":[88],"reliability.":[92],"Gerhart-Howden-Duran":[95],"theory,":[96],"program's":[98,129],"behavior":[99],"is":[100,135,149],"pure":[102],"input-output":[103],"mapping.":[104,131],"This":[105],"paper":[106],"extends":[107],"include":[111],"persistent":[112],"state,":[113],"by":[114],"adding":[115],"state":[117,125],"space":[118],"input":[121],"space,":[122],"mapping":[126],"output":[130],"extended":[133],"significantly":[136],"different":[137],"because":[138],"states,":[140],"unlike":[141],"inputs,":[142],"cannot":[143],"be":[144],"chosen":[145],"arbitrarily.":[146],"analyze":[152],"state-based":[153],"methods,":[155],"examine":[157],"practicality":[159],"reliability":[161],"assessment,":[162],"suggest":[165],"experiments":[166],"would":[168],"increase":[169],"understanding":[170],"statistical":[173],"software.":[176]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}