{"id":"https://openalex.org/W2950231243","doi":"https://doi.org/10.1007/s11334-019-00349-z","title":"Model-based testing of stochastically timed systems","display_name":"Model-based testing of stochastically timed systems","publication_year":2019,"publication_date":"2019-06-18","ids":{"openalex":"https://openalex.org/W2950231243","doi":"https://doi.org/10.1007/s11334-019-00349-z","mag":"2950231243"},"language":"en","primary_location":{"id":"doi:10.1007/s11334-019-00349-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11334-019-00349-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11334-019-00349-z.pdf","source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11334-019-00349-z.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045316548","display_name":"Marcus Gerhold","orcid":"https://orcid.org/0000-0002-2655-9617"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marcus Gerhold","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-2655-9617","affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007673197","display_name":"Arnd Hartmanns","orcid":"https://orcid.org/0000-0003-3268-8674"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Arnd Hartmanns","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-3268-8674","affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053065289","display_name":"Mari\u00eblle Stoelinga","orcid":"https://orcid.org/0000-0001-6793-8165"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mari\u00eblle Stoelinga","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-6793-8165","affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5007673197"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":2790,"currency":"USD","value_usd":2790},"apc_paid":{"value":2790,"currency":"USD","value_usd":2790},"fwci":0.7103,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.72809668,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"15","issue":"3-4","first_page":"207","last_page":"233"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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.7564079761505127},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.740104079246521},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7359966039657593},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5474199056625366},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5155496597290039},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.5098832845687866},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48268651962280273},{"id":"https://openalex.org/keywords/random-testing","display_name":"Random testing","score":0.4570792019367218},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3162490129470825},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.22309857606887817},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1582513451576233}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7564079761505127},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.740104079246521},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7359966039657593},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5474199056625366},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5155496597290039},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.5098832845687866},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48268651962280273},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.4570792019367218},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3162490129470825},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.22309857606887817},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1582513451576233},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11334-019-00349-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11334-019-00349-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11334-019-00349-z.pdf","source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/4b9442a1-9eb1-4100-bf2f-c1d95bd16813","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/4b9442a1-9eb1-4100-bf2f-c1d95bd16813","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Gerhold, M, Hartmanns, A & Stoelinga, M 2019, 'Model-based testing of stochastically timed systems', Innovations in systems and software engineering, vol. 15, no. 3-4, pp. 207-233. https://doi.org/10.1007/s11334-019-00349-z","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s11334-019-00349-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11334-019-00349-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11334-019-00349-z.pdf","source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4300000071525574}],"awards":[{"id":"https://openalex.org/G398350314","display_name":"Verification of Cyber-Physical Systems: Exploiting Uncertainty for Scalability","funder_award_id":"639.021.754","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2950231243.pdf","grobid_xml":"https://content.openalex.org/works/W2950231243.grobid-xml"},"referenced_works_count":54,"referenced_works":["https://openalex.org/W92192699","https://openalex.org/W275084143","https://openalex.org/W1489725951","https://openalex.org/W1495188953","https://openalex.org/W1495607475","https://openalex.org/W1498432697","https://openalex.org/W1504378062","https://openalex.org/W1519975715","https://openalex.org/W1544634046","https://openalex.org/W1597655219","https://openalex.org/W1850900101","https://openalex.org/W1862398452","https://openalex.org/W1971521743","https://openalex.org/W1985690171","https://openalex.org/W1992008267","https://openalex.org/W2025687460","https://openalex.org/W2038373047","https://openalex.org/W2055530557","https://openalex.org/W2078582099","https://openalex.org/W2098737431","https://openalex.org/W2099863033","https://openalex.org/W2117429544","https://openalex.org/W2119114512","https://openalex.org/W2119296494","https://openalex.org/W2119488343","https://openalex.org/W2120916408","https://openalex.org/W2124586773","https://openalex.org/W2126818664","https://openalex.org/W2137865376","https://openalex.org/W2143236904","https://openalex.org/W2153717963","https://openalex.org/W2154144595","https://openalex.org/W2163234015","https://openalex.org/W2163369706","https://openalex.org/W2226985919","https://openalex.org/W2295266283","https://openalex.org/W2336416123","https://openalex.org/W2405128362","https://openalex.org/W2414501716","https://openalex.org/W2482837440","https://openalex.org/W2511317331","https://openalex.org/W2527393991","https://openalex.org/W2528408885","https://openalex.org/W2583228413","https://openalex.org/W2593267253","https://openalex.org/W2626293886","https://openalex.org/W2770063535","https://openalex.org/W2792459867","https://openalex.org/W2797945469","https://openalex.org/W2947430226","https://openalex.org/W3016230452","https://openalex.org/W3105798384","https://openalex.org/W4292865245","https://openalex.org/W4299303132"],"related_works":["https://openalex.org/W3097218026","https://openalex.org/W4390481443","https://openalex.org/W2746280673","https://openalex.org/W2152996796","https://openalex.org/W1594593035","https://openalex.org/W2560415449","https://openalex.org/W2169593191","https://openalex.org/W1578161921","https://openalex.org/W1593902750","https://openalex.org/W1568267147"],"abstract_inverted_index":{"Many":[0],"systems":[1],"are":[2],"inherently":[3],"stochastic:":[4],"they":[5,67],"interact":[6],"with":[7,143],"unpredictable":[8],"environments":[9],"or":[10],"use":[11],"randomised":[12],"algorithms.":[13],"Classical":[14],"model-based":[15,33],"testing":[16,34,116],"is":[17],"insufficient":[18],"for":[19,57,106,135],"such":[20],"systems:":[21],"it":[22],"only":[23],"covers":[24],"functional":[25],"correctness.":[26],"In":[27],"this":[28],"paper,":[29],"we":[30],"present":[31],"two":[32],"frameworks":[35],"that":[36],"additionally":[37],"cover":[38],"the":[39,49,100,120,127],"stochastic":[40,55,76,88,144],"aspects":[41,118],"in":[42],"hard":[43],"and":[44,54,61,75,93,110,131,140],"soft":[45],"real-time":[46],"systems.":[47],"Using":[48],"theory":[50],"of":[51,65,85,119,129],"Markov":[52,78,136],"automata":[53,56,79,89,137],"specifications,":[58],"test":[59],"cases,":[60],"a":[62,81],"formal":[63],"notion":[64],"conformance,":[66],"provide":[68,80],"clean":[69],"mechanisms":[70],"to":[71],"represent":[72],"underspecification,":[73],"randomisation,":[74],"timing.":[77],"simple":[82,130],"memoryless":[83],"model":[84],"time,":[86],"while":[87],"support":[90],"arbitrary":[91],"continuous":[92],"discrete":[94],"probability":[95],"distributions.":[96],"We":[97,125],"cleanly":[98],"define":[99],"theoretical":[101],"foundations,":[102],"outline":[103],"practical":[104],"algorithms":[105],"statistical":[107,133],"conformance":[108],"checking,":[109],"evaluate":[111],"both":[112],"frameworks\u2019":[113],"capabilities":[114],"by":[115],"timing":[117],"Bluetooth":[121],"device":[122],"discovery":[123],"protocol.":[124],"highlight":[126],"trade-off":[128],"efficient":[132],"evaluation":[134],"versus":[138],"precise":[139],"realistic":[141],"modelling":[142],"automata.":[145]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}