{"id":"https://openalex.org/W2186625938","doi":"https://doi.org/10.1109/memcod.2015.7340480","title":"Passive testing of production systems based on model inference","display_name":"Passive testing of production systems based on model inference","publication_year":2015,"publication_date":"2015-09-01","ids":{"openalex":"https://openalex.org/W2186625938","doi":"https://doi.org/10.1109/memcod.2015.7340480","mag":"2186625938"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2015.7340480","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2015.7340480","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5062161136","display_name":"William Durand","orcid":"https://orcid.org/0000-0001-6925-8200"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"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"]},{"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"]},{"id":"https://openalex.org/I4210104097","display_name":"Institut Sup\u00e9rieur d\u2019Informatique, de Mod\u00e9lisation et de leurs Applications","ror":"https://ror.org/01bv2n867","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210104097"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"William Durand","raw_affiliation_strings":["LIMOS - UMR CNRS 6158 Blaise Pascal University, France","LIMOS - Laboratoire d'Informatique, de Mod\u00e9lisation et d'optimisation des Syst\u00e8mes (B\u00e2t ISIMA Campus des C\u00e9zeaux BP 10025 63173 AUBIERE cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIMOS - UMR CNRS 6158 Blaise Pascal University, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I198244214","https://openalex.org/I4210099416"]},{"raw_affiliation_string":"LIMOS - Laboratoire d'Informatique, de Mod\u00e9lisation et d'optimisation des Syst\u00e8mes (B\u00e2t ISIMA Campus des C\u00e9zeaux BP 10025 63173 AUBIERE cedex - France)","institution_ids":["https://openalex.org/I4210099416","https://openalex.org/I4210104097"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032624369","display_name":"S\u00e9bastien Salva","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"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"]},{"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"]},{"id":"https://openalex.org/I4210104097","display_name":"Institut Sup\u00e9rieur d\u2019Informatique, de Mod\u00e9lisation et de leurs Applications","ror":"https://ror.org/01bv2n867","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210104097"]},{"id":"https://openalex.org/I4210127465","display_name":"Instituts Universitaires de Technologie","ror":"https://ror.org/03f099r71","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210127465"]},{"id":"https://openalex.org/I65806277","display_name":"Universit\u00e9 de Limoges","ror":"https://ror.org/02cp04407","country_code":"FR","type":"education","lineage":["https://openalex.org/I65806277"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sebastien Salva","raw_affiliation_strings":["LIMOS - UMR CNRS 6158 Auvergne University, France","IUT d'Aubi\u00e8re - Institut Universitaire de Technologie d'Aubi\u00e8re (France)","LIMOS - Laboratoire d'Informatique, de Mod\u00e9lisation et d'optimisation des Syst\u00e8mes (B\u00e2t ISIMA Campus des C\u00e9zeaux BP 10025 63173 AUBIERE cedex - France)","UCA  [2017-2020] - Universit\u00e9 Clermont Auvergne [2017-2020] (49, bd Fran\u00e7ois-Mitterrand / CS 60032 / 63001 Clermont-Ferrand Cedex 1 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIMOS - UMR CNRS 6158 Auvergne University, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210099416","https://openalex.org/I65806277"]},{"raw_affiliation_string":"IUT d'Aubi\u00e8re - Institut Universitaire de Technologie d'Aubi\u00e8re (France)","institution_ids":["https://openalex.org/I4210127465"]},{"raw_affiliation_string":"LIMOS - Laboratoire d'Informatique, de Mod\u00e9lisation et d'optimisation des Syst\u00e8mes (B\u00e2t ISIMA Campus des C\u00e9zeaux BP 10025 63173 AUBIERE cedex - France)","institution_ids":["https://openalex.org/I4210099416","https://openalex.org/I4210104097"]},{"raw_affiliation_string":"UCA  [2017-2020] - Universit\u00e9 Clermont Auvergne [2017-2020] (49, bd Fran\u00e7ois-Mitterrand / CS 60032 / 63001 Clermont-Ferrand Cedex 1 - France)","institution_ids":["https://openalex.org/I198244214"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7117,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.66096998,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"138","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":0.9997000098228455,"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.9997000098228455,"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.9994999766349792,"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/T10260","display_name":"Software Engineering Research","score":0.9983999729156494,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.818594217300415},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6594061851501465},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6415232419967651},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6202910542488098},{"id":"https://openalex.org/keywords/production","display_name":"Production (economics)","score":0.5829673409461975},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5807148218154907},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.4608241319656372},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.44077202677726746},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.39183926582336426},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34857869148254395},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34486714005470276},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.3149552345275879},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.17557385563850403},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15468961000442505},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09235954284667969}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.818594217300415},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6594061851501465},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6415232419967651},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6202910542488098},{"id":"https://openalex.org/C2778348673","wikidata":"https://www.wikidata.org/wiki/Q739302","display_name":"Production (economics)","level":2,"score":0.5829673409461975},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5807148218154907},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.4608241319656372},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.44077202677726746},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.39183926582336426},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34857869148254395},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34486714005470276},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3149552345275879},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.17557385563850403},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15468961000442505},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09235954284667969},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C139719470","wikidata":"https://www.wikidata.org/wiki/Q39680","display_name":"Macroeconomics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/memcod.2015.7340480","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2015.7340480","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5799999833106995,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1513197078","https://openalex.org/W1565684024","https://openalex.org/W1945254896","https://openalex.org/W1989445634","https://openalex.org/W2011539648","https://openalex.org/W2042146663","https://openalex.org/W2074001172","https://openalex.org/W2080435422","https://openalex.org/W2091932246","https://openalex.org/W2122827591","https://openalex.org/W2124044559","https://openalex.org/W2124081952","https://openalex.org/W2136579066","https://openalex.org/W2136646111","https://openalex.org/W2137130182","https://openalex.org/W2149203879","https://openalex.org/W2152878141","https://openalex.org/W2157144873","https://openalex.org/W2159760476","https://openalex.org/W2161963160","https://openalex.org/W2172081876","https://openalex.org/W2329807147","https://openalex.org/W2551237529"],"related_works":["https://openalex.org/W1530540819","https://openalex.org/W2156379738","https://openalex.org/W1997566227","https://openalex.org/W1566911402","https://openalex.org/W2375657886","https://openalex.org/W572432826","https://openalex.org/W1962872449","https://openalex.org/W2093565921","https://openalex.org/W593718774","https://openalex.org/W2061183036"],"abstract_inverted_index":{"This":[0,62,87],"paper":[1,63],"tackles":[2],"the":[3,45,91,126,163],"problem":[4],"of":[5,29,93,116,129],"testing":[6,46],"production":[7,117,182],"systems,":[8,83],"i.e.":[9],"systems":[10,27,183],"that":[11,17,36,101,123,166,186],"run":[12],"in":[13,191],"industrial":[14,95],"environments,":[15],"and":[16,23,53,59,84,184],"are":[18,32,37,137],"distributed":[19],"over":[20],"several":[21],"devices":[22],"sensors.":[24],"Usually,":[25],"such":[26,78],"lack":[28],"models,":[30],"or":[31],"expressed":[33],"with":[34,90,172],"models":[35,100,122,136,158],"not":[38,160],"up":[39],"to":[40,55,65,107,153],"date.":[41],"Without":[42],"any":[43],"model,":[44],"process":[47],"is":[48],"often":[49],"done":[50],"by":[51,68,141],"hand,":[52],"tends":[54],"be":[56,103,189],"an":[57],"heavy":[58],"tedious":[60],"task.":[61],"contributes":[64],"this":[66],"issue":[67],"proposing":[69],"a":[70,113,130,142,148],"framework":[71,179],"called":[72],"Autofunk,":[73],"which":[74,145],"combines":[75],"different":[76],"fields":[77],"as":[79,105,139],"model":[80],"inference,":[81],"expert":[82],"machine":[85],"learning.":[86],"framework,":[88],"designed":[89],"collaboration":[92],"our":[94,178],"partner":[96],"Michelin,":[97],"infers":[98,120],"formal":[99],"can":[102,188],"used":[104,138,190],"specifications":[106],"perform":[108],"offline":[109],"passive":[110,143],"testing.":[111],"Given":[112],"large":[114],"set":[115],"messages,":[118],"it":[119,187],"exact":[121],"only":[124],"capture":[125],"functional":[127],"behaviours":[128,165],"system":[131,149],"under":[132,150],"analysis.":[133],"Thereafter,":[134],"inferred":[135,157],"input":[140],"tester,":[144],"checks":[146],"whether":[147],"test":[151],"conforms":[152],"these":[154],"models.":[155],"Since":[156],"do":[159],"express":[161],"all":[162],"possible":[164],"should":[167],"happen,":[168],"we":[169],"define":[170],"conformance":[171],"two":[173],"implementation":[174],"relations.":[175],"We":[176],"evaluate":[177],"on":[180],"real":[181],"show":[185],"practice.":[192]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}