{"id":"https://openalex.org/W2414501716","doi":"https://doi.org/10.1007/978-3-662-49665-7_15","title":"Model-Based Testing of Probabilistic Systems","display_name":"Model-Based Testing of Probabilistic Systems","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2414501716","doi":"https://doi.org/10.1007/978-3-662-49665-7_15","mag":"2414501716"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-662-49665-7_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-49665-7_15","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.utwente.nl/en/publications/60553a84-f581-44a1-a294-b49bdd8f41a6","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":true,"raw_author_name":"Marcus Gerhold","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"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"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5045316548"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.4108,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.92050691,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"251","last_page":"268"},"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.9990000128746033,"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.9990000128746033,"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.9957000017166138,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.995199978351593,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.5741469264030457},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5394763350486755},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22158288955688477}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5741469264030457},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5394763350486755},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22158288955688477}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-662-49665-7_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-49665-7_15","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/672e674a-1120-4788-8e81-02eddd39f562","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/672e674a-1120-4788-8e81-02eddd39f562","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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Gerhold, M & Stoelinga, M I A 2016, Model-Based Testing of Probabilistic Systems. in P Stevens & A Wasowski (eds), Fundamental Approaches to Software Engineering : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2\u20138, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9633, Springer, Heidelberg-Berlin, pp. 251-268, 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, Eindhoven, Netherlands, 2/04/16. https://doi.org/10.1007/978-3-662-49665-7_15","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/60553a84-f581-44a1-a294-b49bdd8f41a6","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/60553a84-f581-44a1-a294-b49bdd8f41a6","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Gerhold , M & Stoelinga , M 2018 , ' Model-based testing of probabilistic systems ' , Formal aspects of computing , vol. 30 , no. 1 , pp. 77-106 . https://doi.org/10.1007/s00165-017-0440-4","raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/60553a84-f581-44a1-a294-b49bdd8f41a6","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/60553a84-f581-44a1-a294-b49bdd8f41a6","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Gerhold , M & Stoelinga , M 2018 , ' Model-based testing of probabilistic systems ' , Formal aspects of computing , vol. 30 , no. 1 , pp. 77-106 . https://doi.org/10.1007/s00165-017-0440-4","raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W259536784","https://openalex.org/W1207234815","https://openalex.org/W1495188953","https://openalex.org/W1504378062","https://openalex.org/W1519975715","https://openalex.org/W1524948529","https://openalex.org/W1533361503","https://openalex.org/W1533572394","https://openalex.org/W1545761035","https://openalex.org/W1560643704","https://openalex.org/W1561218590","https://openalex.org/W1604458898","https://openalex.org/W1783058654","https://openalex.org/W1850900101","https://openalex.org/W1878342712","https://openalex.org/W1971521743","https://openalex.org/W1986755980","https://openalex.org/W1992008267","https://openalex.org/W1994844990","https://openalex.org/W2015123066","https://openalex.org/W2038373047","https://openalex.org/W2049988785","https://openalex.org/W2083160828","https://openalex.org/W2098737431","https://openalex.org/W2105080323","https://openalex.org/W2112640524","https://openalex.org/W2116416291","https://openalex.org/W2119488343","https://openalex.org/W2119567691","https://openalex.org/W2122515544","https://openalex.org/W2122774732","https://openalex.org/W2126818664","https://openalex.org/W2132549513","https://openalex.org/W2134991157","https://openalex.org/W2144956041","https://openalex.org/W2153509445","https://openalex.org/W2153717963","https://openalex.org/W2163369706","https://openalex.org/W2166352318","https://openalex.org/W2171109896","https://openalex.org/W2226985919","https://openalex.org/W3105798384","https://openalex.org/W3137473915","https://openalex.org/W3145222414","https://openalex.org/W4246266336","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655","https://openalex.org/W2359140296"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}