{"id":"https://openalex.org/W2126319344","doi":"https://doi.org/10.1109/issre.2003.1251042","title":"Thoroughness of specification-based testing of synchronous programs","display_name":"Thoroughness of specification-based testing of synchronous programs","publication_year":2005,"publication_date":"2005-04-25","ids":{"openalex":"https://openalex.org/W2126319344","doi":"https://doi.org/10.1109/issre.2003.1251042","mag":"2126319344"},"language":"en","primary_location":{"id":"doi:10.1109/issre.2003.1251042","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2003.1251042","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.","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/A5038561587","display_name":"Ioannis Parissis","orcid":"https://orcid.org/0000-0003-3583-5553"},"institutions":[{"id":"https://openalex.org/I4210097964","display_name":"SurgiMedia (France)","ror":"https://ror.org/00zq45236","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210097964"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"I. Parissis","raw_affiliation_strings":["Laboratoire LSR-IMAG, Saint Martin d'Heres, France","Lab. LSR, IMAG, Saint Martin d'Heres, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire LSR-IMAG, Saint Martin d'Heres, France","institution_ids":[]},{"raw_affiliation_string":"Lab. LSR, IMAG, Saint Martin d'Heres, France","institution_ids":["https://openalex.org/I4210097964"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017944809","display_name":"J. Vassy","orcid":null},"institutions":[{"id":"https://openalex.org/I4210097964","display_name":"SurgiMedia (France)","ror":"https://ror.org/00zq45236","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210097964"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"J. Vassy","raw_affiliation_strings":["Laboratoire LSR-IMAG, Saint Martin d'Heres, France","Lab. LSR, IMAG, Saint Martin d'Heres, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire LSR-IMAG, Saint Martin d'Heres, France","institution_ids":[]},{"raw_affiliation_string":"Lab. LSR, IMAG, Saint Martin d'Heres, France","institution_ids":["https://openalex.org/I4210097964"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210097964"],"apc_list":null,"apc_paid":null,"fwci":1.4388,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.81021898,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"6","issue":null,"first_page":"191","last_page":"200"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994999766349792,"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.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7609460353851318},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.6999056339263916},{"id":"https://openalex.org/keywords/suspect","display_name":"Suspect","score":0.5947378873825073},{"id":"https://openalex.org/keywords/software-reliability-testing","display_name":"Software reliability testing","score":0.5248363614082336},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.5109288096427917},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5077289342880249},{"id":"https://openalex.org/keywords/keyword-driven-testing","display_name":"Keyword-driven testing","score":0.5054810047149658},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5048604607582092},{"id":"https://openalex.org/keywords/non-regression-testing","display_name":"Non-regression testing","score":0.4805757999420166},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.47734978795051575},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.47332343459129333},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.47078174352645874},{"id":"https://openalex.org/keywords/lustre","display_name":"Lustre (file system)","score":0.46338045597076416},{"id":"https://openalex.org/keywords/manual-testing","display_name":"Manual testing","score":0.4526216983795166},{"id":"https://openalex.org/keywords/software-performance-testing","display_name":"Software performance testing","score":0.446127325296402},{"id":"https://openalex.org/keywords/test-strategy","display_name":"Test strategy","score":0.434085488319397},{"id":"https://openalex.org/keywords/regression-testing","display_name":"Regression testing","score":0.41819724440574646},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.41210103034973145},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.406541645526886},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.31867748498916626},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.28962790966033936},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.2870841920375824},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.21438559889793396},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10639059543609619}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7609460353851318},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.6999056339263916},{"id":"https://openalex.org/C2778223634","wikidata":"https://www.wikidata.org/wiki/Q224952","display_name":"Suspect","level":2,"score":0.5947378873825073},{"id":"https://openalex.org/C52928878","wikidata":"https://www.wikidata.org/wiki/Q7554226","display_name":"Software reliability testing","level":5,"score":0.5248363614082336},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.5109288096427917},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5077289342880249},{"id":"https://openalex.org/C169168650","wikidata":"https://www.wikidata.org/wiki/Q1675637","display_name":"Keyword-driven testing","level":5,"score":0.5054810047149658},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5048604607582092},{"id":"https://openalex.org/C86469151","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Non-regression testing","level":5,"score":0.4805757999420166},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.47734978795051575},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47332343459129333},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.47078174352645874},{"id":"https://openalex.org/C180699724","wikidata":"https://www.wikidata.org/wiki/Q1877782","display_name":"Lustre (file system)","level":3,"score":0.46338045597076416},{"id":"https://openalex.org/C182122060","wikidata":"https://www.wikidata.org/wiki/Q6752328","display_name":"Manual testing","level":5,"score":0.4526216983795166},{"id":"https://openalex.org/C178059732","wikidata":"https://www.wikidata.org/wiki/Q1982529","display_name":"Software performance testing","level":5,"score":0.446127325296402},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.434085488319397},{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.41819724440574646},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41210103034973145},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.406541645526886},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.31867748498916626},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.28962790966033936},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.2870841920375824},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.21438559889793396},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10639059543609619},{"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/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/issre.2003.1251042","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2003.1251042","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W30302946","https://openalex.org/W78382735","https://openalex.org/W174490515","https://openalex.org/W1663179985","https://openalex.org/W1803425472","https://openalex.org/W1847715637","https://openalex.org/W1980818933","https://openalex.org/W1995969393","https://openalex.org/W2018347567","https://openalex.org/W2064929511","https://openalex.org/W2071112258","https://openalex.org/W2093203852","https://openalex.org/W2125831829","https://openalex.org/W2162681377","https://openalex.org/W2171441042","https://openalex.org/W4254394310"],"related_works":["https://openalex.org/W4389884952","https://openalex.org/W2560445721","https://openalex.org/W3214776400","https://openalex.org/W4225834158","https://openalex.org/W2915670848","https://openalex.org/W3197709817","https://openalex.org/W2132296233","https://openalex.org/W2961883907","https://openalex.org/W2988650652","https://openalex.org/W4320027153"],"abstract_inverted_index":{"Adequacy":[0],"criteria":[1],"for":[2,44,52,65,184],"structural":[3],"testing":[4,50,59,147,202],"techniques":[5,51,148,175],"are":[6,31,176],"defined":[7],"in":[8,140,167],"terms":[9,168],"of":[10,13,48,87,127,162,169,199],"coverage":[11],"(e.g.":[12],"statements":[14],"or":[15],"branches).":[16],"For":[17],"black-box":[18],"testing,":[19,30],"such":[20,41,153],"criteria,":[21],"making":[22],"testers":[23],"able":[24,149],"to":[25,28,34,124,145,150,158,209],"decide":[26],"when":[27,109],"stop":[29],"more":[32],"difficult":[33],"define.":[35],"In":[36],"this":[37],"paper,":[38],"we":[39],"propose":[40],"a":[42,63,84,110,163,179],"definition":[43,136],"the":[45,57,71,89,93,117,128,160,185,200,211],"particular":[46,125],"case":[47],"specification-based":[49],"synchronous":[53],"software":[54,72,90,94,118,181,212],"supplied":[55],"by":[56],"Lutess":[58,61,201],"environment.":[60],"provides":[62],"framework":[64],"automatically":[66],"building":[67],"generators":[68],"interacting":[69],"with":[70,78],"under":[73],"test":[74,79,164],"and":[75,92,191],"feeding":[76],"it":[77],"input":[80,165],"sequences.":[81],"It":[82],"requires":[83],"Lustre":[85],"specification":[86,98,129,182],"both":[88],"environment":[91],"safety":[95,111],"properties.":[96],"This":[97],"is":[99,204],"translated":[100],"into":[101,213],"an":[102],"input-output":[103],"automaton.":[104],"A":[105],"critical":[106],"situation":[107],"occurs":[108],"property":[112],"can":[113,137],"be":[114,138],"violated":[115],"unless":[116],"reacts":[119],"adequately.":[120],"Such":[121],"situations":[122],"correspond":[123],"states":[126,135,154],"automaton,":[130],"called":[131],"suspect":[132,171,214],"states.":[133,172,215],"Suspect":[134],"used":[139],"two":[141],"complementary":[142],"ways:":[143],"First,":[144],"design":[146],"reach":[151],"several":[152],"during":[155],"testing.":[156],"Second,":[157],"assess":[159],"thoroughness":[161,198],"sequence":[166],"covered":[170],"The":[173,197],"above":[174],"illustrated":[177],"on":[178],"telephony":[180],"developed":[183],"first":[186],"Feature":[187],"Interaction":[188],"Detection":[189],"Contest":[190],"involving":[192],"12":[193],"different":[194],"telephone":[195],"features.":[196],"strategies":[203],"assessed":[205],"as":[206],"their":[207],"ability":[208],"lead":[210]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}