{"id":"https://openalex.org/W2017389791","doi":"https://doi.org/10.1109/tnet.2012.2210443","title":"A Formal Data-Centric Approach for Passive Testing of Communication Protocols","display_name":"A Formal Data-Centric Approach for Passive Testing of Communication Protocols","publication_year":2012,"publication_date":"2012-08-09","ids":{"openalex":"https://openalex.org/W2017389791","doi":"https://doi.org/10.1109/tnet.2012.2210443","mag":"2017389791"},"language":"en","primary_location":{"id":"doi:10.1109/tnet.2012.2210443","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnet.2012.2210443","pdf_url":null,"source":{"id":"https://openalex.org/S62238642","display_name":"IEEE/ACM Transactions on Networking","issn_l":"1063-6692","issn":["1063-6692","1558-2566"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE/ACM Transactions on Networking","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/A5047700935","display_name":"Felipe Lalanne","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/I205703379","display_name":"Institut Mines-T\u00e9l\u00e9com","ror":"https://ror.org/025vp2923","country_code":"FR","type":"facility","lineage":["https://openalex.org/I205703379"]},{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Felipe Lalanne","raw_affiliation_strings":["CNRS UMR 5157, TELECOM SudParis, Evry, France","Centre National de la Recherche Scientifique","Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux","D\u00e9partement Logiciels et R\u00e9seaux"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS UMR 5157, TELECOM SudParis, Evry, France","institution_ids":["https://openalex.org/I205703379","https://openalex.org/I1294671590","https://openalex.org/I4210145102"]},{"raw_affiliation_string":"Centre National de la Recherche Scientifique","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux","institution_ids":[]},{"raw_affiliation_string":"D\u00e9partement Logiciels et R\u00e9seaux","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112714547","display_name":"St\u00e9phane Maag","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/I205703379","display_name":"Institut Mines-T\u00e9l\u00e9com","ror":"https://ror.org/025vp2923","country_code":"FR","type":"facility","lineage":["https://openalex.org/I205703379"]},{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Stephane Maag","raw_affiliation_strings":["CNRS UMR 5157, TELECOM SudParis, Evry, France","Centre National de la Recherche Scientifique","Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux","D\u00e9partement Logiciels et R\u00e9seaux"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS UMR 5157, TELECOM SudParis, Evry, France","institution_ids":["https://openalex.org/I205703379","https://openalex.org/I1294671590","https://openalex.org/I4210145102"]},{"raw_affiliation_string":"Centre National de la Recherche Scientifique","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux","institution_ids":[]},{"raw_affiliation_string":"D\u00e9partement Logiciels et R\u00e9seaux","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":11.3558,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.98823969,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"21","issue":"3","first_page":"788","last_page":"801"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8527168035507202},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.6731964945793152},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.6359924077987671},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6229730844497681},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5123947262763977},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.502187967300415},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.4820081293582916},{"id":"https://openalex.org/keywords/formal-description","display_name":"Formal description","score":0.47236448526382446},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.47039923071861267},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4420930743217468},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.43914711475372314},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4363862872123718},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3647037744522095},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.33913347125053406},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33727389574050903},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22038766741752625},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17167261242866516}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8527168035507202},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.6731964945793152},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.6359924077987671},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6229730844497681},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5123947262763977},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.502187967300415},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.4820081293582916},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.47236448526382446},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.47039923071861267},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4420930743217468},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.43914711475372314},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4363862872123718},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3647037744522095},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33913347125053406},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33727389574050903},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22038766741752625},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17167261242866516},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","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},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tnet.2012.2210443","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnet.2012.2210443","pdf_url":null,"source":{"id":"https://openalex.org/S62238642","display_name":"IEEE/ACM Transactions on Networking","issn_l":"1063-6692","issn":["1063-6692","1558-2566"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE/ACM Transactions on Networking","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-00838645v1","is_oa":false,"landing_page_url":"https://hal.science/hal-00838645","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE/ACM Transactions on Networking, 2013, 21 (3), pp.788-801. &#x27E8;10.1109/TNET.2012.2210443&#x27E9;","raw_type":"Journal articles"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1484023365","https://openalex.org/W1536525036","https://openalex.org/W1575611811","https://openalex.org/W1577407625","https://openalex.org/W1585491885","https://openalex.org/W1598641709","https://openalex.org/W1616569837","https://openalex.org/W1762199393","https://openalex.org/W1790612874","https://openalex.org/W1825341937","https://openalex.org/W1882343875","https://openalex.org/W1950193643","https://openalex.org/W2026774266","https://openalex.org/W2027769154","https://openalex.org/W2049111714","https://openalex.org/W2081020445","https://openalex.org/W2089812122","https://openalex.org/W2096063762","https://openalex.org/W2096900538","https://openalex.org/W2097725665","https://openalex.org/W2101023018","https://openalex.org/W2101417106","https://openalex.org/W2101623441","https://openalex.org/W2107341872","https://openalex.org/W2107424259","https://openalex.org/W2108911687","https://openalex.org/W2115327632","https://openalex.org/W2115965729","https://openalex.org/W2124621264","https://openalex.org/W2128948567","https://openalex.org/W2139891885","https://openalex.org/W2142840138","https://openalex.org/W2143382644","https://openalex.org/W2150189917","https://openalex.org/W2154572882","https://openalex.org/W2162089956","https://openalex.org/W4242138061","https://openalex.org/W4285719527","https://openalex.org/W6657370125"],"related_works":["https://openalex.org/W2049993111","https://openalex.org/W1979390572","https://openalex.org/W1536552036","https://openalex.org/W1579896659","https://openalex.org/W2161039213","https://openalex.org/W2752133100","https://openalex.org/W2545668258","https://openalex.org/W2138398927","https://openalex.org/W2347350387","https://openalex.org/W2535159545"],"abstract_inverted_index":{"<?Pub":[0],"Dtl=\"\"?>":[1],"There":[2],"is":[3,65,136,156],"currently":[4],"a":[5,96,112,125,143],"high":[6],"level":[7],"of":[8,10,15,36,41,76,108,131,160],"consciousness":[9],"the":[11,34,39,53,81,92,105,109,116,120],"importance":[12],"and":[13,25,78],"impact":[14],"formally":[16,84],"testing":[17,27,48,104,130],"communicating":[18],"networks.":[19],"By":[20],"applying":[21],"formal":[22,26,97],"description":[23],"techniques":[24,49],"approaches,":[28],"we":[29,123],"are":[30,50,72,101,179],"able":[31],"to":[32,38,62,80,138],"validate":[33],"conformance":[35],"implementations":[37],"requirements":[40],"communication":[42,70,110],"protocols.":[43,133],"In":[44,119],"this":[45],"context,":[46,99],"passive":[47],"used":[51],"whenever":[52],"system":[54],"under":[55],"test":[56],"cannot":[57],"be":[58],"interrupted":[59],"or":[60],"access":[61],"its":[63],"interfaces":[64],"unavailable.":[66],"Under":[67],"such":[68],"conditions,":[69],"traces":[71,172],"extracted":[73],"from":[74,95,147],"points":[75],"observation":[77],"compared":[79],"expected":[82,148],"behavior":[83],"specified":[85],"as":[86],"properties.":[87],"Since":[88],"most":[89],"works":[90],"on":[91,115,167],"subject":[93],"come":[94],"model":[98],"they":[100],"optimized":[102],"for":[103,128,158,173],"control":[106],"part":[107],"with":[111],"secondary":[113],"focus":[114],"data":[117,149],"parts.":[118],"current":[121],"work,":[122],"provide":[124],"data-centric":[126],"approach":[127],"black-box":[129],"network":[132],"A":[134,153],"formalism":[135],"provided":[137,157],"express":[139],"complex":[140],"properties":[141,161],"in":[142,151,162],"bottom-up":[144],"fashion":[145],"starting":[146],"relations":[150],"messages.":[152],"novel":[154],"algorithm":[155],"evaluation":[159],"protocol":[163],"traces.":[164],"Experimental":[165],"results":[166],"Session":[168],"Initiation":[169],"Protocol":[170],"(SIP)":[171],"IP":[174],"Multimedia":[175],"Subsystem":[176],"(IMS)":[177],"services":[178],"provided.":[180]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":12},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":10}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}