{"id":"https://openalex.org/W2084056389","doi":"https://doi.org/10.1007/s10994-013-5405-0","title":"Improving active Mealy machine learning for protocol conformance testing","display_name":"Improving active Mealy machine learning for protocol conformance testing","publication_year":2013,"publication_date":"2013-10-02","ids":{"openalex":"https://openalex.org/W2084056389","doi":"https://doi.org/10.1007/s10994-013-5405-0","mag":"2084056389"},"language":"en","primary_location":{"id":"doi:10.1007/s10994-013-5405-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-013-5405-0","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10994-013-5405-0.pdf","source":{"id":"https://openalex.org/S62148650","display_name":"Machine Learning","issn_l":"0885-6125","issn":["0885-6125","1573-0565"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Machine Learning","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007%2Fs10994-013-5405-0.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037215996","display_name":"Fides Aarts","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Fides Aarts","raw_affiliation_strings":["Institute for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands","Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands 6500 GL#TAB#"],"affiliations":[{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands 6500 GL#TAB#","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034054915","display_name":"Harco Kuppens","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Harco Kuppens","raw_affiliation_strings":["Institute for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands","Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands 6500 GL#TAB#"],"affiliations":[{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands 6500 GL#TAB#","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038404202","display_name":"Jan Tretmans","orcid":null},"institutions":[{"id":"https://openalex.org/I4210145666","display_name":"Embedded Systems (United States)","ror":"https://ror.org/04742eh45","country_code":"US","type":"company","lineage":["https://openalex.org/I4210145666"]},{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL","US"],"is_corresponding":false,"raw_author_name":"Jan Tretmans","raw_affiliation_strings":["Institute for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands","TNO\u2014Embedded Systems Innovation, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands 6500 GL and TNO--Embedded Systems Innovation, Eindhoven, The Netherlands 5600 MB#TAB#"],"affiliations":[{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"TNO\u2014Embedded Systems Innovation, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I4210145666"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands 6500 GL and TNO--Embedded Systems Innovation, Eindhoven, The Netherlands 5600 MB#TAB#","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001955028","display_name":"Frits Vaandrager","orcid":"https://orcid.org/0000-0003-3955-1910"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Frits Vaandrager","raw_affiliation_strings":["Institute for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands","Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands 6500 GL#TAB#"],"affiliations":[{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands 6500 GL#TAB#","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062870071","display_name":"Sicco Verwer","orcid":"https://orcid.org/0000-0002-3682-0962"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Sicco Verwer","raw_affiliation_strings":["Institute for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands","Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands 6500 GL#TAB#"],"affiliations":[{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands 6500 GL#TAB#","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5037215996"],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":4.3734,"has_fulltext":true,"cited_by_count":29,"citation_normalized_percentile":{"value":0.94313121,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"96","issue":"1-2","first_page":"189","last_page":"224"},"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.9995999932289124,"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.9995999932289124,"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.9976000189781189,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8323201537132263},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.741680383682251},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6708656549453735},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.6012815237045288},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5218797326087952},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5119613409042358},{"id":"https://openalex.org/keywords/active-learning","display_name":"Active learning (machine learning)","score":0.44394412636756897},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4298439621925354},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3995819091796875},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3859390914440155},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3384067416191101},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32429641485214233},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2156141698360443}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8323201537132263},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.741680383682251},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6708656549453735},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.6012815237045288},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5218797326087952},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5119613409042358},{"id":"https://openalex.org/C77967617","wikidata":"https://www.wikidata.org/wiki/Q4677561","display_name":"Active learning (machine learning)","level":2,"score":0.44394412636756897},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4298439621925354},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3995819091796875},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3859390914440155},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3384067416191101},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32429641485214233},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2156141698360443},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/s10994-013-5405-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-013-5405-0","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10994-013-5405-0.pdf","source":{"id":"https://openalex.org/S62148650","display_name":"Machine Learning","issn_l":"0885-6125","issn":["0885-6125","1573-0565"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Machine Learning","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.269.6148","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.269.6148","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.kun.nl/ita/publications/papers/fvaan/BRPfull/paper.pdf","raw_type":"text"},{"id":"pmh:oai:oai-pmh.tno.nl:40479","is_oa":false,"landing_page_url":"https://resolver.tno.nl/uuid:c3a96945-55ad-4bbd-a4b9-cadcb8b65870","pdf_url":null,"source":{"id":"https://openalex.org/S7407055233","display_name":"TNO Repository","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Machine Learning, 96(1-2), pp. 189-224.","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:tudelft.nl:uuid:c3a96945-55ad-4bbd-a4b9-cadcb8b65870","is_oa":false,"landing_page_url":"http://resolver.tudelft.nl/uuid:c3a96945-55ad-4bbd-a4b9-cadcb8b65870","pdf_url":null,"source":{"id":"https://openalex.org/S4306402238","display_name":"Repository hosted by TU Delft Library (TU Delft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Machine Learning, 1-2, 96, 189-224","raw_type":"article"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/122418","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/122418","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"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":"Machine Learning, 96, 189 - 224","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s10994-013-5405-0","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10994-013-5405-0","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10994-013-5405-0.pdf","source":{"id":"https://openalex.org/S62148650","display_name":"Machine Learning","issn_l":"0885-6125","issn":["0885-6125","1573-0565"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Machine Learning","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2084056389.pdf","grobid_xml":"https://content.openalex.org/works/W2084056389.grobid-xml"},"referenced_works_count":96,"referenced_works":["https://openalex.org/W24190503","https://openalex.org/W36240330","https://openalex.org/W138607541","https://openalex.org/W1486697888","https://openalex.org/W1490658580","https://openalex.org/W1498125516","https://openalex.org/W1498542756","https://openalex.org/W1506632077","https://openalex.org/W1507281497","https://openalex.org/W1509343160","https://openalex.org/W1513197078","https://openalex.org/W1520252399","https://openalex.org/W1522624458","https://openalex.org/W1538375546","https://openalex.org/W1574991981","https://openalex.org/W1576548369","https://openalex.org/W1577384748","https://openalex.org/W1580591826","https://openalex.org/W1587497712","https://openalex.org/W1601069755","https://openalex.org/W1608087281","https://openalex.org/W1679977702","https://openalex.org/W1840142437","https://openalex.org/W1882207923","https://openalex.org/W1893208258","https://openalex.org/W1938383858","https://openalex.org/W1945254896","https://openalex.org/W1962072139","https://openalex.org/W1962619228","https://openalex.org/W1972065960","https://openalex.org/W1978358700","https://openalex.org/W1980824962","https://openalex.org/W1989445634","https://openalex.org/W2004865374","https://openalex.org/W2004929506","https://openalex.org/W2005998857","https://openalex.org/W2010088996","https://openalex.org/W2017603160","https://openalex.org/W2021418918","https://openalex.org/W2035578846","https://openalex.org/W2045671792","https://openalex.org/W2055228862","https://openalex.org/W2069486211","https://openalex.org/W2074001172","https://openalex.org/W2080001594","https://openalex.org/W2092622056","https://openalex.org/W2094783813","https://openalex.org/W2099184861","https://openalex.org/W2100162598","https://openalex.org/W2101508170","https://openalex.org/W2103806799","https://openalex.org/W2113030600","https://openalex.org/W2115675703","https://openalex.org/W2119567691","https://openalex.org/W2126818664","https://openalex.org/W2130773092","https://openalex.org/W2131131861","https://openalex.org/W2133625193","https://openalex.org/W2136298992","https://openalex.org/W2139738359","https://openalex.org/W2143903830","https://openalex.org/W2145802904","https://openalex.org/W2149561987","https://openalex.org/W2151674625","https://openalex.org/W2153945968","https://openalex.org/W2168168102","https://openalex.org/W2171109896","https://openalex.org/W2252814878","https://openalex.org/W2295283834","https://openalex.org/W2295399529","https://openalex.org/W2334782222","https://openalex.org/W2340735175","https://openalex.org/W2410243683","https://openalex.org/W2561675875","https://openalex.org/W2613892803","https://openalex.org/W2737659430","https://openalex.org/W2903158431","https://openalex.org/W2912296587","https://openalex.org/W2913252902","https://openalex.org/W2913459036","https://openalex.org/W2913612998","https://openalex.org/W2914982603","https://openalex.org/W3119741957","https://openalex.org/W4205386858","https://openalex.org/W4206233890","https://openalex.org/W4230145224","https://openalex.org/W4241372395","https://openalex.org/W4242741415","https://openalex.org/W4250492162","https://openalex.org/W6634634799","https://openalex.org/W6636475409","https://openalex.org/W6640868803","https://openalex.org/W6643082104","https://openalex.org/W6664468317","https://openalex.org/W6674731282","https://openalex.org/W6697253294"],"related_works":["https://openalex.org/W2073713056","https://openalex.org/W2120447654","https://openalex.org/W2977179488","https://openalex.org/W2144453115","https://openalex.org/W3110702597","https://openalex.org/W2125620709","https://openalex.org/W2128223750","https://openalex.org/W4238532390","https://openalex.org/W2133845513","https://openalex.org/W2143236904"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":3}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}