{"id":"https://openalex.org/W132849446","doi":"https://doi.org/10.1081/e-ese-120044233","title":"Test Case Generation: Specification-Based","display_name":"Test Case Generation: Specification-Based","publication_year":2010,"publication_date":"2010-11-24","ids":{"openalex":"https://openalex.org/W132849446","doi":"https://doi.org/10.1081/e-ese-120044233","mag":"132849446"},"language":"en","primary_location":{"id":"doi:10.1081/e-ese-120044233","is_oa":false,"landing_page_url":"https://doi.org/10.1081/e-ese-120044233","pdf_url":null,"source":{"id":"https://openalex.org/S4306509387","display_name":"Encyclopedia of Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Encyclopedia of Software Engineering","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/chapter/Test_case_generation_specification-based/13446533","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000379396","display_name":"Man Fai Lau","orcid":"https://orcid.org/0000-0002-2271-6259"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Man Fai Lau","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054193222","display_name":"Yuen Tak Yu","orcid":"https://orcid.org/0000-0002-6548-5446"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yuen Tak Yu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5051828363","display_name":"Pak\u2010Lok Poon","orcid":"https://orcid.org/0000-0003-2840-2418"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pak-Lok Poon","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.322,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.5372807,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1200","last_page":"1210"},"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.995199978351593,"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.4683969020843506},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.4683833718299866},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3287009298801422},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14059635996818542},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.10748797655105591}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4683969020843506},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.4683833718299866},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3287009298801422},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14059635996818542},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.10748797655105591},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1081/e-ese-120044233","is_oa":false,"landing_page_url":"https://doi.org/10.1081/e-ese-120044233","pdf_url":null,"source":{"id":"https://openalex.org/S4306509387","display_name":"Encyclopedia of Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Encyclopedia of Software Engineering","raw_type":"book-chapter"},{"id":"pmh:oai:acquire.cqu.edu.au:cqu:17223","is_oa":false,"landing_page_url":"http://hdl.cqu.edu.au/10018/1256202","pdf_url":null,"source":{"id":"https://openalex.org/S4306400635","display_name":"Acquire (CQUniversity)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I74899385","host_organization_name":"Central Queensland University","host_organization_lineage":["https://openalex.org/I74899385"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lau, MF, Yu, YT, Poon, P-L, (2011). Test case generation: specification-based. Laplante, PA (Ed.), Encyclopedia of Software Engineering, p. 1200-1210Boca Raton, FL: Auerbach Publicationshttps://www.crcpress.com/Encyclopedia-of-Software-Engineering-Three-Volume-Set-Print/Laplante/p/book/9781420059779","raw_type":"book chapter"},{"id":"pmh:oai:figshare.com:article/13446533","is_oa":true,"landing_page_url":"https://figshare.com/articles/chapter/Test_case_generation_specification-based/13446533","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:ira.lib.polyu.edu.hk:10397/63345","is_oa":false,"landing_page_url":"http://hdl.handle.net/10397/63345","pdf_url":null,"source":{"id":"https://openalex.org/S4306400205","display_name":"PolyU Institutional Research Archive (Hong Kong Polytechnic University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I14243506","host_organization_name":"Hong Kong Polytechnic University","host_organization_lineage":["https://openalex.org/I14243506"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book Chapter"}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/13446533","is_oa":true,"landing_page_url":"https://figshare.com/articles/chapter/Test_case_generation_specification-based/13446533","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1980818933","https://openalex.org/W1992639336","https://openalex.org/W2025918428","https://openalex.org/W2027243493","https://openalex.org/W2042788642","https://openalex.org/W2049695835","https://openalex.org/W2068465400","https://openalex.org/W2073018571","https://openalex.org/W2079036312","https://openalex.org/W2100425664","https://openalex.org/W2100766650","https://openalex.org/W2105111802","https://openalex.org/W2109964207","https://openalex.org/W2119805979","https://openalex.org/W2125539770","https://openalex.org/W2148386167","https://openalex.org/W2153396332","https://openalex.org/W2162200351","https://openalex.org/W2536425079"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Software":[0,9],"is":[1,11,34,77],"becoming":[2],"increasingly":[3],"important":[4],"in":[5,36,79],"our":[6],"everyday":[7],"life.":[8],"testing":[10,86],"one":[12],"of":[13,25,69,84,94,99,129],"the":[14,23,67,82,92,97,126],"many":[15],"techniques":[16,117,123],"adopted":[17],"by":[18,89],"software":[19,32,37,85,95],"developers":[20],"to":[21],"ensure":[22],"quality":[24],"software.":[26],"Selecting":[27],"test":[28,46,52,61,106,114],"cases":[29,62],"that":[30,60,124],"reveal":[31],"failures":[33],"crucial":[35],"development":[38],"activities.":[39],"Recent":[40],"industry":[41],"best":[42],"practices":[43],"suggest":[44],"\u201cwrite":[45,51],"(cases)":[47,53],"before":[48],"code\u201d":[49],"and":[50,111,132],"for":[54],"each":[55],"new":[56],"bug,\u201d":[57],"which":[58],"indicate":[59],"should":[63],"be":[64],"generated":[65],"on":[66,121],"basis":[68],"specification":[70,131],"as":[71,73,87],"well":[72],"fault-based":[74,133],"information.":[75,134],"This":[76,102],"also":[78,142],"alignment":[80],"with":[81,96,118],"aim":[83],"proposed":[88],"Myers":[90],"\u2014":[91],"execution":[93],"intention":[98],"finding":[100],"failures.":[101],"entry":[103],"discusses":[104],"specification-based":[105,113],"case":[107,115],"generation,":[108],"its":[109],"advantages,":[110],"various":[112],"generation":[116],"an":[119],"emphasis":[120],"those":[122],"exploit":[125],"full":[127],"potential":[128,136],"combining":[130],"Further":[135],"areas":[137],"along":[138],"this":[139],"direction":[140],"are":[141],"discussed.":[143]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}