{"id":"https://openalex.org/W2545610616","doi":"https://doi.org/10.1109/icfem.1997.630409","title":"A formal approach to testing LUSTRE specifications","display_name":"A formal approach to testing LUSTRE specifications","publication_year":2002,"publication_date":"2002-11-22","ids":{"openalex":"https://openalex.org/W2545610616","doi":"https://doi.org/10.1109/icfem.1997.630409","mag":"2545610616"},"language":"en","primary_location":{"id":"doi:10.1109/icfem.1997.630409","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icfem.1997.630409","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings First IEEE International Conference on Formal Engineering Methods","raw_type":"proceedings-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/A5038561587","display_name":"Ioannis Parissis","orcid":"https://orcid.org/0000-0003-3583-5553"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"I. Parissis","raw_affiliation_strings":["Laboratoire Logiciels, Syst\u00e8mes et R\u00e9seaux-Institut IMAG, Saint Martin, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire Logiciels, Syst\u00e8mes et R\u00e9seaux-Institut IMAG, Saint Martin, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5038561587"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6997,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.72653638,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":null,"first_page":"91","last_page":"100"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9983999729156494,"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.816103458404541},{"id":"https://openalex.org/keywords/lustre","display_name":"Lustre (file system)","score":0.7979084253311157},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5877187252044678},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4685590863227844},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4647566080093384},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.4479847550392151},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.44277721643447876},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13274428248405457}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.816103458404541},{"id":"https://openalex.org/C180699724","wikidata":"https://www.wikidata.org/wiki/Q1877782","display_name":"Lustre (file system)","level":3,"score":0.7979084253311157},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5877187252044678},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4685590863227844},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4647566080093384},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.4479847550392151},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44277721643447876},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13274428248405457},{"id":"https://openalex.org/C2780940931","wikidata":"https://www.wikidata.org/wiki/Q174989","display_name":"File system","level":2,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icfem.1997.630409","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icfem.1997.630409","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings First IEEE International Conference on Formal Engineering Methods","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.48.7927","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.7927","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-lsr.imag.fr/Les.Groupes/PFL/PUBLIS/icfem97.ps","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W78382735","https://openalex.org/W1514073466","https://openalex.org/W1535307360","https://openalex.org/W1547265787","https://openalex.org/W1591643794","https://openalex.org/W1607631994","https://openalex.org/W1663179985","https://openalex.org/W1995969393","https://openalex.org/W2006993239","https://openalex.org/W2011762419","https://openalex.org/W2064929511","https://openalex.org/W2068896853","https://openalex.org/W2080267935","https://openalex.org/W2093203852","https://openalex.org/W2100425664","https://openalex.org/W2119133945","https://openalex.org/W2125831829","https://openalex.org/W2132264164","https://openalex.org/W2141585059","https://openalex.org/W2147253199","https://openalex.org/W2151250735","https://openalex.org/W2159542925","https://openalex.org/W2171441042","https://openalex.org/W2411746780","https://openalex.org/W3152134618","https://openalex.org/W4254394310","https://openalex.org/W6632812239","https://openalex.org/W6635138435","https://openalex.org/W6680852937"],"related_works":["https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1903167137","https://openalex.org/W2049993111","https://openalex.org/W2592399342","https://openalex.org/W2045204345","https://openalex.org/W1950421680","https://openalex.org/W2034589735","https://openalex.org/W2020416949"],"abstract_inverted_index":{"LUSTRE":[0,51],"is":[1,19,70,123],"a":[2,26,46,71,93],"synchronous":[3,68],"declarative":[4],"language":[5],"designed":[6,49],"to":[7,10,29,59,78,95,102,139],"specify":[8],"and":[9,73,110],"implement":[11],"reactive":[12],"software.":[13,143],"One":[14],"of":[15,36,67,107],"its":[16],"main":[17],"advantages":[18],"that":[20],"it":[21],"can":[22,39],"be":[23,40,115],"used":[24],"as":[25,92],"temporal":[27],"logic":[28],"express":[30],"software":[31,69,137],"invariant":[32],"properties.":[33],"The":[34],"satisfaction":[35],"the":[37,65,103,120,136,142],"latter":[38],"proven":[41],"by":[42],"model-checking,":[43],"using":[44],"LESAR,":[45],"verification":[47,61],"tool":[48],"for":[50],"programs.":[52],"We":[53,87],"address":[54],"two":[55],"important":[56],"problems":[57],"related":[58],"this":[60,128],"process.":[62],"First,":[63],"developing":[64],"specifications":[66,138],"difficult":[72],"error-prone":[74],"task.":[75],"Before":[76],"attempting":[77],"formally":[79,140],"prove":[80],"their":[81],"satisfaction,":[82],"one":[83],"should":[84],"validate":[85,96],"them.":[86],"propose":[88,131],"random":[89],"automatic":[90],"animation":[91],"means":[94],"such":[97],"formal":[98],"specifications.":[99],"Second,":[100],"due":[101],"often":[104],"huge":[105],"amounts":[106],"required":[108],"memory":[109],"time,":[111],"proof":[112],"may":[113],"not":[114],"applicable,":[116],"in":[117],"which":[118,134],"case":[119],"specification":[121],"work":[122],"wasted.":[124],"To":[125],"cope":[126],"with":[127],"problem,":[129],"we":[130],"testing":[132],"techniques":[133],"reuse":[135],"test":[141]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}