{"id":"https://openalex.org/W4415707597","doi":"https://doi.org/10.1109/tse.2025.3627220","title":"Directed Grammar-Based Test Generation","display_name":"Directed Grammar-Based Test Generation","publication_year":2025,"publication_date":"2025-10-30","ids":{"openalex":"https://openalex.org/W4415707597","doi":"https://doi.org/10.1109/tse.2025.3627220"},"language":null,"primary_location":{"id":"doi:10.1109/tse.2025.3627220","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3627220","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Transactions on Software Engineering","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/A5008018015","display_name":"Lukas Kirschner","orcid":null},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE","LU"],"is_corresponding":false,"raw_author_name":"Lukas Kirschner","raw_affiliation_strings":["Saarland University, Saarbrücken, Germany","Saarland University and University of Luxembourg"],"raw_orcid":"https://orcid.org/0009-0004-8126-9630","affiliations":[{"raw_affiliation_string":"Saarland University, Saarbrücken, Germany","institution_ids":["https://openalex.org/I91712215"]},{"raw_affiliation_string":"Saarland University and University of Luxembourg","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I91712215"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031510488","display_name":"Ezekiel Soremekun","orcid":"https://orcid.org/0000-0002-0039-8106"},"institutions":[{"id":"https://openalex.org/I152815399","display_name":"Singapore University of Technology and Design","ror":"https://ror.org/05j6fvn87","country_code":"SG","type":"education","lineage":["https://openalex.org/I152815399"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Ezekiel Soremekun","raw_affiliation_strings":["Singapore University of Technology and Design, Singapore","Singapore University of Technology and Design"],"raw_orcid":"https://orcid.org/0000-0002-0039-8106","affiliations":[{"raw_affiliation_string":"Singapore University of Technology and Design, Singapore","institution_ids":["https://openalex.org/I152815399"]},{"raw_affiliation_string":"Singapore University of Technology and Design","institution_ids":["https://openalex.org/I152815399"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0556,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.83564568,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"51","issue":"12","first_page":"3669","last_page":"3691"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9840999841690063,"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":0.9840999841690063,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.0031999999191612005,"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"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.0012000000569969416,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/leverage","display_name":"Leverage (statistics)","score":0.6399000287055969},{"id":"https://openalex.org/keywords/keyword-driven-testing","display_name":"Keyword-driven testing","score":0.6013000011444092},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5270000100135803},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.5234000086784363},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.4778999984264374},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.47189998626708984},{"id":"https://openalex.org/keywords/integration-testing","display_name":"Integration testing","score":0.46480000019073486},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.4366999864578247},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.42239999771118164},{"id":"https://openalex.org/keywords/orthogonal-array-testing","display_name":"Orthogonal array testing","score":0.40209999680519104}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8718000054359436},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6399000287055969},{"id":"https://openalex.org/C169168650","wikidata":"https://www.wikidata.org/wiki/Q1675637","display_name":"Keyword-driven testing","level":5,"score":0.6013000011444092},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5270000100135803},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.5234000086784363},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.4778999984264374},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.47189998626708984},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.46480000019073486},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.4366999864578247},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.42239999771118164},{"id":"https://openalex.org/C158324730","wikidata":"https://www.wikidata.org/wiki/Q54862604","display_name":"Orthogonal array testing","level":5,"score":0.40209999680519104},{"id":"https://openalex.org/C182122060","wikidata":"https://www.wikidata.org/wiki/Q6752328","display_name":"Manual testing","level":5,"score":0.3984000086784363},{"id":"https://openalex.org/C7435765","wikidata":"https://www.wikidata.org/wiki/Q7705776","display_name":"Test Management Approach","level":5,"score":0.39660000801086426},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.3944000005722046},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.39399999380111694},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.37770000100135803},{"id":"https://openalex.org/C86469151","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Non-regression testing","level":5,"score":0.37619999051094055},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3659000098705292},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.365200012922287},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3621000051498413},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.3472000062465668},{"id":"https://openalex.org/C108913964","wikidata":"https://www.wikidata.org/wiki/Q2376856","display_name":"System under test","level":4,"score":0.33709999918937683},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.33379998803138733},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3240000009536743},{"id":"https://openalex.org/C80478641","wikidata":"https://www.wikidata.org/wiki/Q195771","display_name":"Sequential analysis","level":2,"score":0.32199999690055847},{"id":"https://openalex.org/C109086967","wikidata":"https://www.wikidata.org/wiki/Q2509100","display_name":"Test script","level":4,"score":0.3156999945640564},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.30869999527931213},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3000999987125397},{"id":"https://openalex.org/C80519477","wikidata":"https://www.wikidata.org/wiki/Q3532236","display_name":"Scenario testing","level":3,"score":0.2994000017642975},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.2985999882221222},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.29120001196861267},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.2904999852180481},{"id":"https://openalex.org/C80823478","wikidata":"https://www.wikidata.org/wiki/Q4493432","display_name":"Functional testing","level":3,"score":0.2863999903202057},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2806999981403351},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.2770000100135803},{"id":"https://openalex.org/C178059732","wikidata":"https://www.wikidata.org/wiki/Q1982529","display_name":"Software performance testing","level":5,"score":0.27059999108314514},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.263700008392334},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.2581000030040741},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2558000087738037},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.25270000100135803}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2025.3627220","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3627220","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Transactions on Software Engineering","raw_type":"journal-article"}],"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/W1526710119","https://openalex.org/W1971650562","https://openalex.org/W1972978214","https://openalex.org/W2001726097","https://openalex.org/W2011301426","https://openalex.org/W2072750798","https://openalex.org/W2103201337","https://openalex.org/W2121217767","https://openalex.org/W2167706908","https://openalex.org/W2170224888","https://openalex.org/W2209318842","https://openalex.org/W2291630781","https://openalex.org/W2586946380","https://openalex.org/W2701225458","https://openalex.org/W2757104921","https://openalex.org/W2766540688","https://openalex.org/W2865298191","https://openalex.org/W2891235722","https://openalex.org/W2898192927","https://openalex.org/W2899781671","https://openalex.org/W2903305687","https://openalex.org/W2948061091","https://openalex.org/W2962200727","https://openalex.org/W2963350015","https://openalex.org/W2981689050","https://openalex.org/W2999409539","https://openalex.org/W3035965352","https://openalex.org/W3039812961","https://openalex.org/W3046012684","https://openalex.org/W3047259347","https://openalex.org/W3048340936","https://openalex.org/W3088619568","https://openalex.org/W3090463400","https://openalex.org/W3122544049","https://openalex.org/W3180202404","https://openalex.org/W4220764146","https://openalex.org/W4288057792","https://openalex.org/W4323338666","https://openalex.org/W4405640723"],"related_works":[],"abstract_inverted_index":{"To":[0],"effectively":[1],"test":[2,45,55,86,159,162,213,252],"complex":[3,35,303],"software,":[4],"it":[5],"is":[6,112],"important":[7],"to":[8,24,99,113,139,256,312],"generategoal-specific":[9,116],"inputs,":[10,274,279,304],"i.e.,":[11],"inputs":[12,36,98,141,160],"that":[13,142,242],"achieve":[14],"a":[15,68,118,126,132,147,165],"specific":[16,51,133],"testing":[17,29,32,75,121,134,148,171,297,314],"goal.":[18],"For":[19],"instance,":[20],"developers":[21],"may":[22],"intend":[23],"target":[25,143],"one":[26],"or":[27,37,40,305],"more":[28],"goal(s)":[30],"during":[31],"\u2013":[33,268],"generate":[34,140],"trigger":[38],"new":[39],"error-prone":[41],"behaviors.Problem:However,":[42],"most":[43,202],"state-of-the-art":[44],"generators":[46,214],"are":[47],"not":[48],"designed":[49],"totarget":[50],"goals.":[52,315],"Notably,":[53],"grammar-based":[54,212],"generators,":[56],"which":[57,90],"(randomly)":[58],"producesyntactically":[59],"valid":[60],"inputsvia":[61,117],"an":[62,73,84],"input":[63,94,129,155,191,247,283],"specification":[64],"(i.e.,":[65],"grammar)":[66],"have":[67],"low":[69],"probability":[70],"of":[71,103,109,157,271,277,282],"achieving":[72],"arbitrary":[74],"goal.Aim:":[76],"This":[77],"work":[78],"addresses":[79],"this":[80],"challenge":[81],"by":[82],"proposing":[83],"automated":[85],"generation":[87,102],"approach":[88,111],"(calledFDLOOP)":[89],"iteratively":[91],"learns":[92,125],"relevant":[93],"properties":[95],"from":[96],"existing":[97],"drive":[100],"the":[101,144,154,210,230,243,269,275,280],"goal-specific":[104,158],"inputs.Method:":[105],"The":[106],"main":[107,244],"idea":[108],"our":[110,291],"leveragetest":[114],"feedbackto":[115],"combination":[119],"ofevolutionary":[120],"and":[122,131,152,164,182,195,197,217,221,251,285,310],"grammar":[123,249],"learning.FDLOOPautomatically":[124],"mapping":[127],"between":[128],"structures":[130],"goal,":[135],"such":[136],"mappings":[137],"allow":[138],"goal-at-hand.":[145],"Given":[146],"goal,FDLOOPiteratively":[149],"selects,":[150],"evolves":[151],"learn":[153],"distribution":[156],"via":[161],"feedback":[163],"probabilistic":[166,216],"grammar.":[167],"We":[168,186,259],"concretizeFDLOOPfor":[169],"four":[170],"goals,":[172],"namely":[173,209],"unique":[174],"code":[175],"coverage,":[176],"input-to-code":[177],"complexity,":[178],"program":[179],"failures":[180],"(exceptions)":[181],"long":[183,307],"execution":[184,308],"time.":[185],"evaluateFDLOOPusing":[187],"three":[188],"(3)":[189],"well-known":[190],"formats":[192],"(JSON,":[193],"CSS":[194],"JavaScript)":[196],"20":[198],"open-source":[199],"software.Results:":[200],"In":[201,238],"(86%)":[203],"settings,FDLOOPoutperforms":[204],"all":[205],"five":[206],"tested":[207],"baselines":[208],"baseline":[211,232],"(random,":[215],"inverse-probabilistic":[218],"methods),":[219],"EvoGFuzz":[220],"DynaMOSA.FDLOOPis":[222],"(up":[223],"to)":[224],"twice":[225],"(2X)":[226],"as":[227,229],"effective":[228,263],"best":[231],"(EvoGFuzz)":[233],"in":[234],"inducing":[235,306],"erroneous":[236,300],"behaviors.":[237],"addition,":[239],"we":[240],"show":[241],"components":[245],"ofFDLOOP(i.e.,":[246],"mutator,":[248],"mutator":[250],"feedbacks)":[253],"contribute":[254],"positively":[255],"its":[257],"effectiveness.":[258],"also":[260],"observed":[261],"thatFDLOOPis":[262],"across":[264],"varying":[265,286],"parameter":[266],"settings":[267],"number":[270,276,281],"initial":[272],"seed":[273,288],"generated":[278],"generations":[284],"random":[287],"values.Implications:":[289],"Finally,":[290],"evaluation":[292],"demonstrates":[293],"thatFDLOOPeffectively":[294],"achieves":[295],"single":[296],"goals":[298],"(revealing":[299],"behaviors,":[301],"generating":[302],"time)":[309],"scales":[311],"multiple":[313]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-30T00:00:00"}