{"id":"https://openalex.org/W1988423439","doi":"https://doi.org/10.1145/2480362.2480591","title":"Test case generation from natural language requirements based on SCR specifications","display_name":"Test case generation from natural language requirements based on SCR specifications","publication_year":2013,"publication_date":"2013-03-18","ids":{"openalex":"https://openalex.org/W1988423439","doi":"https://doi.org/10.1145/2480362.2480591","mag":"1988423439"},"language":"en","primary_location":{"id":"doi:10.1145/2480362.2480591","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2480362.2480591","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th Annual ACM Symposium on Applied Computing","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/A5070089969","display_name":"Gustavo Carvalho","orcid":"https://orcid.org/0000-0002-3700-9709"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gustavo Carvalho","raw_affiliation_strings":["UFPE Centro de Inform\u00e1tica, PE, Brazil"],"affiliations":[{"raw_affiliation_string":"UFPE Centro de Inform\u00e1tica, PE, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088690967","display_name":"Diogo Falc\u00e3o","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Diogo Falc\u00e3o","raw_affiliation_strings":["UFPE Centro de Inform\u00e1tica, PE, Brazil"],"affiliations":[{"raw_affiliation_string":"UFPE Centro de Inform\u00e1tica, PE, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101107739","display_name":"Fl\u00e1via Barros","orcid":"https://orcid.org/0000-0003-1280-0251"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fl\u00e1via Barros","raw_affiliation_strings":["UFPE Centro de Inform\u00e1tica, PE, Brazil"],"affiliations":[{"raw_affiliation_string":"UFPE Centro de Inform\u00e1tica, PE, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041930802","display_name":"Augusto Sampaio","orcid":"https://orcid.org/0000-0001-6593-577X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Augusto Sampaio","raw_affiliation_strings":["UFPE Centro de Inform\u00e1tica, PE, Brazil"],"affiliations":[{"raw_affiliation_string":"UFPE Centro de Inform\u00e1tica, PE, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074182733","display_name":"Alexandre Mota","orcid":"https://orcid.org/0000-0003-4416-8123"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alexandre Mota","raw_affiliation_strings":["UFPE Centro de Inform\u00e1tica, PE, Brazil"],"affiliations":[{"raw_affiliation_string":"UFPE Centro de Inform\u00e1tica, PE, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089657219","display_name":"Leonardo Motta","orcid":null},"institutions":[{"id":"https://openalex.org/I1288761627","display_name":"Embraer (Brazil)","ror":"https://ror.org/00zbcgj92","country_code":"BR","type":"company","lineage":["https://openalex.org/I1288761627"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Leonardo Motta","raw_affiliation_strings":["Embraer, SP, Brazil","Embraer, SP, Brazil#TAB#"],"affiliations":[{"raw_affiliation_string":"Embraer, SP, Brazil","institution_ids":["https://openalex.org/I1288761627"]},{"raw_affiliation_string":"Embraer, SP, Brazil#TAB#","institution_ids":["https://openalex.org/I1288761627"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113963034","display_name":"Mark Blackburn","orcid":null},"institutions":[{"id":"https://openalex.org/I108468826","display_name":"Stevens Institute of Technology","ror":"https://ror.org/02z43xh36","country_code":"US","type":"education","lineage":["https://openalex.org/I108468826"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mark Blackburn","raw_affiliation_strings":["Stevens Institute, NJ","Stevens Institute, NJ#TAB#"],"affiliations":[{"raw_affiliation_string":"Stevens Institute, NJ","institution_ids":["https://openalex.org/I108468826"]},{"raw_affiliation_string":"Stevens Institute, NJ#TAB#","institution_ids":["https://openalex.org/I108468826"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5070089969"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.3465,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.95348837,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1217","last_page":"1222"},"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/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7206209897994995},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.5599333047866821},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.5563991069793701},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4969787895679474},{"id":"https://openalex.org/keywords/ambiguity","display_name":"Ambiguity","score":0.4948524832725525},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.46136704087257385},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4536842107772827},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4464232921600342},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.42161858081817627},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3248916566371918},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.30347371101379395},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2740175724029541},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15422925353050232},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.11105599999427795}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7206209897994995},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5599333047866821},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.5563991069793701},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4969787895679474},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.4948524832725525},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.46136704087257385},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4536842107772827},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4464232921600342},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.42161858081817627},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3248916566371918},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.30347371101379395},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2740175724029541},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15422925353050232},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11105599999427795},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2480362.2480591","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2480362.2480591","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 28th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3803762525","display_name":null,"funder_award_id":"573964/2008-4, 476821/2011-8","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"}],"funders":[{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W116345983","https://openalex.org/W127000942","https://openalex.org/W132990795","https://openalex.org/W1497774648","https://openalex.org/W1545355820","https://openalex.org/W1549026077","https://openalex.org/W1605351056","https://openalex.org/W1835501018","https://openalex.org/W1994861204","https://openalex.org/W2013711971","https://openalex.org/W2046138576","https://openalex.org/W2052115808","https://openalex.org/W2059000558","https://openalex.org/W2061227290","https://openalex.org/W2081720016","https://openalex.org/W2094876738","https://openalex.org/W2102841898","https://openalex.org/W2103762709","https://openalex.org/W2155404273","https://openalex.org/W2161216820","https://openalex.org/W2188190628","https://openalex.org/W2214912090","https://openalex.org/W6633021913","https://openalex.org/W6671035361"],"related_works":["https://openalex.org/W2592399342","https://openalex.org/W2347363247","https://openalex.org/W2558572842","https://openalex.org/W2047524021","https://openalex.org/W794225219","https://openalex.org/W2034589735","https://openalex.org/W2149398290","https://openalex.org/W2898425611","https://openalex.org/W239966521","https://openalex.org/W2157675331"],"abstract_inverted_index":{"Formal":[0],"models":[1],"are":[2,44,75],"increasingly":[3],"used":[4],"as":[5,63],"input":[6],"for":[7,41],"automated":[8],"test":[9,33,55,121],"generation":[10,147],"strategies.":[11],"As":[12],"an":[13,64,95],"example,":[14],"Software":[15],"Cost":[16],"Reduction":[17],"(SCR)":[18],"has":[19],"been":[20],"designed":[21],"to":[22,53,78,106],"detect":[23],"and":[24,66,118],"correct":[25],"errors":[26],"during":[27],"the":[28,73,103,128,136,139],"requirements":[29,60,74,117],"phase,":[30],"also":[31],"allowing":[32],"generation.":[34],"However,":[35],"SCR":[36,62,96],"syntax":[37],"is":[38,87,98],"not":[39],"trivial":[40],"those":[42],"who":[43],"unfamiliar":[45],"with":[46,142],"it.":[47],"We":[48,100,111],"propose":[49],"here":[50],"a":[51,79,90,154],"strategy":[52,114,132],"generate":[54,107],"cases":[56],"from":[57,93,109,127],"natural":[58],"language":[59],"using":[61],"intermediate":[65],"hidden":[67],"formalism.":[68],"To":[69],"avoid":[70],"textual":[71],"ambiguity,":[72],"written":[76,120],"according":[77],"Controlled":[80],"Natural":[81],"Language.":[82],"Each":[83],"syntactically":[84],"valid":[85],"requirement":[86],"mapped":[88],"into":[89],"semantic":[91],"representation":[92],"which":[94],"specification":[97],"derived.":[99],"then":[101],"use":[102],"T-VEC":[104],"tool":[105],"tests":[108],"SCR.":[110],"evaluated":[112],"our":[113,125],"based":[115],"on":[116],"manually":[119],"vectors":[122,137],"provided":[123],"by":[124],"partner":[126],"Aviation":[129],"Industry.":[130],"Our":[131],"generated":[133],"85%":[134],"of":[135,144,157],"in":[138],"original":[140],"set,":[141],"100%":[143],"precision.":[145],"The":[146],"time":[148],"was":[149],"2s.":[150],"Yet,":[151],"we":[152],"obtained":[153],"mutation":[155],"score":[156],"84%.":[158]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}