{"id":"https://openalex.org/W1502271401","doi":"https://doi.org/10.1007/978-3-540-70952-7_9","title":"Heuristics for ioco-Based Test-Based Modelling","display_name":"Heuristics for ioco-Based Test-Based Modelling","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W1502271401","doi":"https://doi.org/10.1007/978-3-540-70952-7_9","mag":"1502271401"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-70952-7_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-70952-7_9","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042194099","display_name":"Tim A. C. Willemse","orcid":"https://orcid.org/0000-0003-3049-7962"},"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":"Tim A. C. Willemse","raw_affiliation_strings":["Institute for Computing and Information Sciences (ICIS), Radboud University Nijmegen, The Netherlands","Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Institute for Computing and Information Sciences (ICIS), Radboud University Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5042194099"],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.8222,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.71781534,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"132","last_page":"147"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9980999827384949,"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.858149528503418},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7646478414535522},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.6375250220298767},{"id":"https://openalex.org/keywords/system-under-test","display_name":"System under test","score":0.5896766781806946},{"id":"https://openalex.org/keywords/regression-testing","display_name":"Regression testing","score":0.585433304309845},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.5309642553329468},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4677572250366211},{"id":"https://openalex.org/keywords/system-testing","display_name":"System testing","score":0.46285903453826904},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.45849597454071045},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4270588159561157},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.42680051922798157},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3288659453392029},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.324241042137146},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.23183408379554749},{"id":"https://openalex.org/keywords/regression-analysis","display_name":"Regression analysis","score":0.21549049019813538},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20013311505317688},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.14529940485954285},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.08493521809577942},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.07312744855880737}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.858149528503418},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7646478414535522},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.6375250220298767},{"id":"https://openalex.org/C108913964","wikidata":"https://www.wikidata.org/wiki/Q2376856","display_name":"System under test","level":4,"score":0.5896766781806946},{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.585433304309845},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.5309642553329468},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4677572250366211},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.46285903453826904},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.45849597454071045},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4270588159561157},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.42680051922798157},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3288659453392029},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.324241042137146},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.23183408379554749},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.21549049019813538},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20013311505317688},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.14529940485954285},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.08493521809577942},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.07312744855880737},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-540-70952-7_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-70952-7_9","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:pure.tue.nl:openaire_cris_publications/dbc06dd8-5e18-4b54-bee0-a2bab048cab2","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/dbc06dd8-5e18-4b54-bee0-a2bab048cab2","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"Willemse, T A C 2007, Heuristics for ioco-based test-based modelling. in L Brim, B R Haverkort, M Leucker, J Pol, van de & B Haverkort (eds), Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 11) and 5th International Workshop on Parallel and Distributed Methods in Verification (PDMC 5) 26-27 August 2006 and 31 August 2006, Bonn, Germany. Lecture Notes in Computer Science, vol. 4346, Springer, Berlin, pp. 132-147, conference; FMICS 11, PFMC 5, Bonn, Germany; 2006-08-26; 2006-08-31, 26/08/06. https://doi.org/10.1007/978-3-540-70952-7_9","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/34672","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/34672","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Brim., L. (ed.), Formal Methods: Applications and Technology:11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected, pp. 132-147","raw_type":"Article in monograph or in proceedings"},{"id":"pmh:tue:oai:pure.tue.nl:publications/dbc06dd8-5e18-4b54-bee0-a2bab048cab2","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/dbc06dd8-5e18-4b54-bee0-a2bab048cab2","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 11) and 5th International Workshop on Parallel and Distributed Methods in Verification (PDMC 5) 26-27 August 2006 and 31 August 2006, Bonn, Germany, 132 - 147","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1482663303","https://openalex.org/W1559362703","https://openalex.org/W1574991981","https://openalex.org/W1964601431","https://openalex.org/W1989445634","https://openalex.org/W2029637574","https://openalex.org/W2049930808","https://openalex.org/W2098095461","https://openalex.org/W2112640524","https://openalex.org/W2130732685","https://openalex.org/W2152417223","https://openalex.org/W4285524154"],"related_works":["https://openalex.org/W12495686","https://openalex.org/W2529326468","https://openalex.org/W2429370774","https://openalex.org/W51885204","https://openalex.org/W2095390900","https://openalex.org/W2012017372","https://openalex.org/W2098804367","https://openalex.org/W2931644080","https://openalex.org/W2541184210","https://openalex.org/W2145505903"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}