{"id":"https://openalex.org/W4251671815","doi":"https://doi.org/10.1201/9781003168447-17","title":"Model-Based Testing","display_name":"Model-Based Testing","publication_year":2021,"publication_date":"2021-05-31","ids":{"openalex":"https://openalex.org/W4251671815","doi":"https://doi.org/10.1201/9781003168447-17"},"language":"en","primary_location":{"id":"doi:10.1201/9781003168447-17","doi":"https://doi.org/10.1201/9781003168447-17","is_oa":false,"landing_page_url":"https://doi.org/10.1201/9781003168447-17","pdf_url":null,"source":{"id":"https://openalex.org/S4306462882","display_name":"Auerbach Publications eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Testing","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W4254514185","display_name":"Software Testing"},"type":"book-chapter","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/A5032560196","display_name":"Paul C. Jorgensen","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paul C. Jorgensen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5012162631","display_name":"Byron DeVries","orcid":"https://orcid.org/0009-0009-3650-583X","observed_orcids":["https://orcid.org/0009-0009-3650-583X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Byron DeVries","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"337","last_page":"352"},"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.9922000169754028,"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.9922000169754028,"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.0026000000070780516,"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.002400000113993883,"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/model-based-testing","display_name":"model-based testing","score":1.0},{"id":"https://openalex.org/keywords/executable-models","display_name":"executable models","score":0.921999990940094},{"id":"https://openalex.org/keywords/finite-state-machines","display_name":"finite automata","score":0.9879999756813049},{"id":"https://openalex.org/keywords/petri-nets","display_name":"Petri nets","score":0.9959999918937683},{"id":"https://openalex.org/keywords/statecharts","display_name":"statecharts","score":0.9649999737739563},{"id":"https://openalex.org/keywords/model-expressiveness","display_name":"model expressiveness","score":0.7929999828338623},{"id":"https://openalex.org/keywords/software-testing","display_name":"software testing","score":0.5210000276565552}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4575762450695038},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3378657102584839},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16342809796333313}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1201/9781003168447-17","doi":"https://doi.org/10.1201/9781003168447-17","is_oa":false,"landing_page_url":"https://doi.org/10.1201/9781003168447-17","pdf_url":null,"source":{"id":"https://openalex.org/S4306462882","display_name":"Auerbach Publications eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Testing","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2488376445","https://openalex.org/W6987849604","https://openalex.org/W2149558943","https://openalex.org/W616676232","https://openalex.org/W2152151337","https://openalex.org/W7006646219","https://openalex.org/W2123191890","https://openalex.org/W805316440","https://openalex.org/W1976197622","https://openalex.org/W7096831470"],"abstract_inverted_index":{"The":[0,106],"main":[1],"advantage":[2],"of":[3,11,22,31,69,90,96,124,135,143],"modeling":[4],"system":[5,24],"behavior":[6],"is":[7,28,44,101,127],"that":[8,54,78,131,148,153],"the":[9,23,75,83,94,109,119,122,133],"process":[10,53],"creating":[12],"a":[13,52,67,97,112],"model":[14,120],"usually":[15],"results":[16],"in":[17,59,108,117],"deeper":[18],"insights":[19],"and":[20,41,151],"understanding":[21],"being":[25],"modeled/tested.":[26],"This":[27],"particularly":[29],"true":[30],"executable":[32],"models":[33],"such":[34],"as":[35],"finite":[36],"state":[37],"machines,":[38],"Petri":[39],"Nets,":[40],"Statecharts.":[42],"Avvinare":[43],"an":[45,125,136],"interesting":[46],"Italian":[47,56],"word.":[48],"It":[49],"refers":[50],"to":[51,93,103],"many":[55],"families":[57],"perform":[58],"autumn":[60],"when":[61],"they":[62,72,79],"bottle":[63],"wine.":[64],"After":[65],"buying":[66],"demijohn":[68],"bulk":[70],"wine,":[71],"rinse":[73],"out":[74],"empty":[76],"bottles":[77],"have":[80],"saved":[81],"during":[82],"year.":[84],"There":[85,138],"are":[86,139],"always":[87],"small":[88],"droplets":[89],"water":[91],"clinging":[92],"sides":[95],"bottle,":[98],"but":[99],"it":[100],"difficult":[102],"remove":[104],"them.":[105],"arrows":[107],"lattice":[110],"signify":[111],"\u201cmore":[113],"expressive":[114,129],"than\u201d":[115],"relationship":[116],"which":[118],"at":[121,132],"origin":[123],"arrow":[126],"more":[128],"than":[130],"end":[134],"arrow.":[137],"two":[140],"fundamental":[141],"types":[142],"requirements":[144],"specification":[145],"models:":[146],"those":[147,152],"describe":[149,154],"structure,":[150],"behavior.":[155]},"counts_by_year":[],"updated_date":"2026-10-10T09:11:00.788812","created_date":"2022-05-12T00:00:00"}