{"id":"https://openalex.org/W2782875472","doi":"https://doi.org/10.4018/ijismd.2017010103","title":"Combining Model Inference and Passive Testing in the Same Framework to Test Industrial Systems","display_name":"Combining Model Inference and Passive Testing in the Same Framework to Test Industrial Systems","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2782875472","doi":"https://doi.org/10.4018/ijismd.2017010103","mag":"2782875472"},"language":"en","primary_location":{"id":"doi:10.4018/ijismd.2017010103","is_oa":false,"landing_page_url":"https://doi.org/10.4018/ijismd.2017010103","pdf_url":null,"source":{"id":"https://openalex.org/S83337018","display_name":"International Journal of Information System Modeling and Design","issn_l":"1947-8186","issn":["1947-8186","1947-8194"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Information System Modeling and Design","raw_type":"journal-article"},"type":"article","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/A5032624369","display_name":"S\u00e9bastien Salva","orcid":null},"institutions":[{"id":"https://openalex.org/I198244214","display_name":"Universit\u00e9 Clermont Auvergne","ror":"https://ror.org/01a8ajp46","country_code":"FR","type":"education","lineage":["https://openalex.org/I198244214"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sebastien Salva","raw_affiliation_strings":["University Clermont Auvergne, Aubriere, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University Clermont Auvergne, Aubriere, France","institution_ids":["https://openalex.org/I198244214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062161136","display_name":"William Durand","orcid":"https://orcid.org/0000-0001-6925-8200"},"institutions":[{"id":"https://openalex.org/I4210088980","display_name":"Michelin (France)","ror":"https://ror.org/006s85q77","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210088980"]},{"id":"https://openalex.org/I4210099416","display_name":"Laboratoire d'Informatique, de Mod\u00e9lisation et d'Optimisation des Syst\u00e8mes","ror":"https://ror.org/00t3fpp34","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I198244214","https://openalex.org/I198244214","https://openalex.org/I203339264","https://openalex.org/I205703379","https://openalex.org/I3019848993","https://openalex.org/I4210099416","https://openalex.org/I4210123221","https://openalex.org/I4210159245","https://openalex.org/I4387154249"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"William Durand","raw_affiliation_strings":["Michelin/LIMOS/TailorDev, Clermont-Ferrand, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Michelin/LIMOS/TailorDev, Clermont-Ferrand, France","institution_ids":["https://openalex.org/I4210088980","https://openalex.org/I4210099416"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.27187766,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":"1","first_page":"43","last_page":"72"},"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.9998000264167786,"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.9998000264167786,"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/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7020255327224731},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.6672908067703247},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.4935835599899292},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4759359359741211},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4654560685157776},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.45120465755462646},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4317821264266968},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.42401552200317383},{"id":"https://openalex.org/keywords/non-regression-testing","display_name":"Non-regression testing","score":0.4187777042388916},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4108520746231079},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.41081029176712036},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.40538299083709717},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.3904540538787842},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3705516457557678},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.368816077709198},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.27805766463279724},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23314082622528076},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.2168377935886383},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2091713547706604}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7020255327224731},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.6672908067703247},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4935835599899292},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4759359359741211},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4654560685157776},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.45120465755462646},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4317821264266968},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.42401552200317383},{"id":"https://openalex.org/C86469151","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Non-regression testing","level":5,"score":0.4187777042388916},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4108520746231079},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.41081029176712036},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.40538299083709717},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3904540538787842},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3705516457557678},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.368816077709198},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.27805766463279724},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23314082622528076},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.2168377935886383},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2091713547706604},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.4018/ijismd.2017010103","is_oa":false,"landing_page_url":"https://doi.org/10.4018/ijismd.2017010103","pdf_url":null,"source":{"id":"https://openalex.org/S83337018","display_name":"International Journal of Information System Modeling and Design","issn_l":"1947-8186","issn":["1947-8186","1947-8194"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Information System Modeling and Design","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:igg:jismd0:v:8:y:2017:i:1:p:43-72","is_oa":false,"landing_page_url":"https://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/IJISMD.2017010103","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.550000011920929,"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1513197078","https://openalex.org/W1537283821","https://openalex.org/W1552095982","https://openalex.org/W1556968820","https://openalex.org/W1598641709","https://openalex.org/W1945254896","https://openalex.org/W1977556410","https://openalex.org/W1982987470","https://openalex.org/W1989445634","https://openalex.org/W2026774266","https://openalex.org/W2039756785","https://openalex.org/W2050750729","https://openalex.org/W2055228862","https://openalex.org/W2076343783","https://openalex.org/W2080435422","https://openalex.org/W2081020445","https://openalex.org/W2101623441","https://openalex.org/W2107424259","https://openalex.org/W2122827591","https://openalex.org/W2124081952","https://openalex.org/W2131954495","https://openalex.org/W2136646111","https://openalex.org/W2147678316","https://openalex.org/W2152878141","https://openalex.org/W2170917993","https://openalex.org/W2186625938","https://openalex.org/W2295399529","https://openalex.org/W2490216051","https://openalex.org/W3106729728","https://openalex.org/W4241531852","https://openalex.org/W4254546154"],"related_works":["https://openalex.org/W2952740084","https://openalex.org/W2113385454","https://openalex.org/W2767512594","https://openalex.org/W2347404590","https://openalex.org/W1992311253","https://openalex.org/W2098804367","https://openalex.org/W2413508222","https://openalex.org/W1663662652","https://openalex.org/W2116248904","https://openalex.org/W2564898834"],"abstract_inverted_index":{"Many":[0],"software":[1,15,40],"engineering":[2],"approaches":[3],"often":[4,44],"rely":[5],"on":[6],"formal":[7,92],"models":[8,28,42,93,100,106,123],"to":[9,63,97,109,117],"automate":[10],"some":[11],"steps":[12],"of":[13,80],"the":[14,19,118,121,128],"life":[16],"cycle,":[17],"particularly":[18],"testing":[20,48],"phase.":[21],"Even":[22],"though":[23],"automation":[24],"sounds":[25],"attractive,":[26],"writing":[27],"is":[29,115],"usually":[30],"a":[31,59,77,84],"tedious":[32],"and":[33,73,94],"error-prone":[34],"task.":[35],"In":[36,53],"addition,":[37],"with":[38,137],"industrial":[39],"systems,":[41],"are":[43,107],"not":[45,125],"up-to-date.":[46],"Hence,":[47],"these":[49,105],"systems":[50,66],"becomes":[51],"problematic.":[52],"this":[54,56],"context,":[55],"article":[57],"proposes":[58],"framework":[60],"called":[61],"Autofunk":[62,87],"test":[64,111],"production":[65,85],"by":[67],"combining":[68],"two":[69],"approaches:":[70],"model":[71],"generation":[72],"passive":[74],"testing.":[75],"Given":[76],"large":[78],"set":[79],"events":[81],"collected":[82],"from":[83],"system,":[86,91],"combines":[88],"an":[89],"expert":[90],"machine":[95],"learning":[96],"infer":[98],"symbolic":[99],"while":[101],"preventing":[102],"over-generalisation.":[103],"Afterwards,":[104],"considered":[108],"passively":[110],"whether":[112],"another":[113],"system":[114],"conforming":[116],"models.":[119],"As":[120],"generated":[122],"do":[124],"express":[126],"all":[127],"possible":[129],"behaviours":[130],"that":[131],"should":[132],"happen,":[133],"we":[134],"define":[135],"conformance":[136],"four":[138],"specialised":[139],"implementation":[140],"relations.":[141]},"counts_by_year":[],"updated_date":"2026-06-11T06:19:23.411458","created_date":"2025-10-10T00:00:00"}