{"id":"https://openalex.org/W2013209699","doi":"https://doi.org/10.1016/j.entcs.2006.09.003","title":"A Model-based Integration and Testing Method to Reduce System Development Effort","display_name":"A Model-based Integration and Testing Method to Reduce System Development Effort","publication_year":2006,"publication_date":"2006-10-01","ids":{"openalex":"https://openalex.org/W2013209699","doi":"https://doi.org/10.1016/j.entcs.2006.09.003","mag":"2013209699"},"language":"en","primary_location":{"id":"doi:10.1016/j.entcs.2006.09.003","doi":"https://doi.org/10.1016/j.entcs.2006.09.003","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2006.09.003","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066106005020/pdf","source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.sciencedirect.com/science/article/pii/S1571066106005020/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003472226","display_name":"N.C.W.M. Braspenning","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"N.C.W.M. Braspenning","raw_affiliation_strings":["Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006425812","display_name":"Joanna M. van de Mortel-Fronczak","orcid":"https://orcid.org/0000-0002-1381-5132","observed_orcids":["https://orcid.org/0000-0002-1381-5132"]},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"J.M. van de Mortel-Fronczak","raw_affiliation_strings":["Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110217683","display_name":"J.E. Rooda","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"J.E. Rooda","raw_affiliation_strings":["Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands#TAB#","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5003472226"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":4.1957,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":{"value":0.93952929,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":"164","issue":"4","first_page":"13","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.5205000042915344,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.5205000042915344,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.18950000405311584,"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/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.1348000019788742,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/model-based-integration","display_name":"model-based integration","score":1.0},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"model-based testing","score":0.9620000123977661},{"id":"https://openalex.org/keywords/software-integration","display_name":"software integration","score":0.5289999842643738},{"id":"https://openalex.org/keywords/model-based-verification","display_name":"model-based verification","score":0.5550000071525574},{"id":"https://openalex.org/keywords/model-based-validation","display_name":"model-based validation","score":0.8930000066757202},{"id":"https://openalex.org/keywords/multicomponent-systems","display_name":"multicomponent systems","score":0.5989999771118164}],"concepts":[{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.824431836605072},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7374900579452515},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7224186062812805},{"id":"https://openalex.org/C19527686","wikidata":"https://www.wikidata.org/wiki/Q1665453","display_name":"System integration","level":2,"score":0.5542124509811401},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.48277249932289124},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.4683382511138916},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.45563286542892456},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4537641108036041},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.41622835397720337},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.37962767481803894},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3778737783432007},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.15585759282112122},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14047884941101074},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1380767822265625},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11333906650543213},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08108800649642944},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"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":6,"locations":[{"id":"doi:10.1016/j.entcs.2006.09.003","doi":"https://doi.org/10.1016/j.entcs.2006.09.003","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2006.09.003","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066106005020/pdf","source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/49ac1f1b-13e6-4731-b4e1-88c553ed5007","doi":null,"is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/49ac1f1b-13e6-4731-b4e1-88c553ed5007","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,"listed_in":[],"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":"Braspenning, N C W M, Mortel - Fronczak, van de, J M & Rooda, J E 2006, 'A Model-based Integration and Testing Method to Reduce System Development Effort', Electronic Notes in Theoretical Computer Science, vol. 164, no. 4, pp. 13-28. https://doi.org/10.1016/j.entcs.2006.09.003","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:647308","doi":null,"is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=647308","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,"listed_in":[],"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":"ISSN:1571-0661","raw_type":"Article / Letter to the editor"},{"id":"pmh:oai:library.tue.nl:647308","doi":null,"is_oa":false,"landing_page_url":"http://repository.tue.nl/647308","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,"listed_in":[],"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":"ISSN:1571-0661","raw_type":"Article / Letter to the editor"},{"id":"pmh:tue:oai:library.tue.nl:647308","doi":null,"is_oa":false,"landing_page_url":"http://repository.tue.nl/647308","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,"listed_in":[],"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":"Electronic Notes in Theoretical Computer Science, 164(4), 13","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:tue:oai:pure.tue.nl:publications/49ac1f1b-13e6-4731-b4e1-88c553ed5007","doi":null,"is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/49ac1f1b-13e6-4731-b4e1-88c553ed5007","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,"listed_in":[],"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":"Electronic Notes in Theoretical Computer Science, 164(4), 13 - 28. Elsevier","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1016/j.entcs.2006.09.003","doi":"https://doi.org/10.1016/j.entcs.2006.09.003","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2006.09.003","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066106005020/pdf","source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.428600013256073,"display_name":"Industry, innovation and infrastructure"}],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321780","display_name":"Ministerie van Economische Zaken","ror":"https://ror.org/00bc6bw85"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2013209699.pdf","grobid_xml":"https://content.openalex.org/works/W2013209699.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W1498542756","https://openalex.org/W1513197078","https://openalex.org/W1526993786","https://openalex.org/W1562611875","https://openalex.org/W1582783528","https://openalex.org/W1986736724","https://openalex.org/W2056094307","https://openalex.org/W2065082529","https://openalex.org/W2109926023","https://openalex.org/W2115309705","https://openalex.org/W2116514916","https://openalex.org/W2117268802","https://openalex.org/W2121984483","https://openalex.org/W2126489030","https://openalex.org/W2132602141","https://openalex.org/W2145505903","https://openalex.org/W2163033792","https://openalex.org/W2173843922","https://openalex.org/W2226985919","https://openalex.org/W2269097915","https://openalex.org/W3213161815","https://openalex.org/W4241133276","https://openalex.org/W4244719572","https://openalex.org/W6630288668"],"related_works":["https://openalex.org/W1586482438","https://openalex.org/W2019734236","https://openalex.org/W6998555745","https://openalex.org/W2113185534","https://openalex.org/W1577356808","https://openalex.org/W3122530414","https://openalex.org/W1585999359","https://openalex.org/W1520008333","https://openalex.org/W3135307295","https://openalex.org/W2980377516"],"abstract_inverted_index":{"New":[0],"methods":[1],"and":[2,12,68,85,92,116,157,188],"techniques":[3],"are":[4,53],"needed":[5],"to":[6,44,149,184],"reduce":[7,185],"the":[8,23,77,112,113,142,186],"very":[9],"costly":[10],"integration":[11,115,156,179,187],"test":[13,117,189],"effort":[14,32,109],"(in":[15],"terms":[16],"of":[17,25,49,61,66,76,82,94,108,124,141,144,154],"lead":[18],"time,":[19],"costs,":[20],"resources)":[21],"in":[22,104,111,163],"development":[24],"high-tech":[26],"multi-disciplinary":[27],"systems.":[28],"To":[29],"facilitate":[30],"this":[31,172],"reduction,":[33],"we":[34],"propose":[35],"a":[36,105,164,181],"method":[37,42,183],"called":[38],"model-based":[39,128,135,155,158,178],"integration.":[40],"This":[41,87,119],"allows":[43,138],"integrate":[45],"formal":[46],"executable":[47],"models":[48,67,123],"system":[50,79],"components":[51],"that":[52,96],"not":[54],"yet":[55],"physically":[56],"realized":[57],"with":[58,147],"available":[59],"realizations":[60,69,146],"other":[62],"components.":[63],"The":[64,152],"combination":[65,153],"is":[70,160],"then":[71],"used":[72,132],"for":[73,127,133],"early":[74,90],"analysis":[75,88],"integrated":[78],"by":[80],"means":[81],"validation,":[83],"verification,":[84],"testing.":[86],"enables":[89],"detection":[91],"prevention":[93],"problems":[95],"would":[97],"otherwise":[98],"occur":[99],"during":[100],"real":[101,114],"integration,":[102,129],"resulting":[103],"significant":[106],"reduction":[107],"invested":[110],"phases.":[118],"paper":[120],"illustrates":[121],"how":[122],"components,":[125],"developed":[126],"can":[130],"be":[131],"automated":[134],"testing,":[136],"which":[137],"time-efficient":[139],"determination":[140],"conformance":[143],"component":[145],"respect":[148],"their":[150],"requirements.":[151],"testing":[159],"practically":[161],"illustrated":[162],"realistic":[165],"industrial":[166],"case":[167],"study.":[168],"Results":[169],"obtained":[170],"from":[171],"study":[173],"encourage":[174],"further":[175],"research":[176],"on":[177],"as":[180],"prominent":[182],"effort.":[190]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":5},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}