{"id":"https://openalex.org/W4406983449","doi":"https://doi.org/10.1109/tse.2025.3535662","title":"Retrospective on: Constraint-Based Automatic Test Data Generation","display_name":"Retrospective on: Constraint-Based Automatic Test Data Generation","publication_year":2025,"publication_date":"2025-01-30","ids":{"openalex":"https://openalex.org/W4406983449","doi":"https://doi.org/10.1109/tse.2025.3535662"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2025.3535662","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3535662","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/A5079608186","display_name":"Jeff Offutt","orcid":"https://orcid.org/0000-0002-8657-2557"},"institutions":[{"id":"https://openalex.org/I392282","display_name":"University at Albany, State University of New York","ror":"https://ror.org/012zs8222","country_code":"US","type":"education","lineage":["https://openalex.org/I392282"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeff Offutt","raw_affiliation_strings":["University at Albany, Albany, NY, USA","University at Albany"],"raw_orcid":"https://orcid.org/0000-0002-8657-2557","affiliations":[{"raw_affiliation_string":"University at Albany, Albany, NY, USA","institution_ids":["https://openalex.org/I392282"]},{"raw_affiliation_string":"University at Albany","institution_ids":["https://openalex.org/I392282"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013154522","display_name":"Richard A. DeMillo","orcid":"https://orcid.org/0000-0001-6902-6506"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard DeMillo","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, GA, USA","Georgia Institute of Technology"],"raw_orcid":"https://orcid.org/0000-0001-6902-6506","affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]},{"raw_affiliation_string":"Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01653057,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"51","issue":"3","first_page":"754","last_page":"758"},"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.9977999925613403,"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.9977999925613403,"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/T14025","display_name":"Educational Technology and Assessment","score":0.9837999939918518,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9801999926567078,"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.810633659362793},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5861642956733704},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5217833518981934},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.412112832069397},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3432826101779938}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.810633659362793},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5861642956733704},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5217833518981934},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.412112832069397},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3432826101779938},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","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":1,"locations":[{"id":"doi:10.1109/tse.2025.3535662","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2025.3535662","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1883070969","https://openalex.org/W1995109607","https://openalex.org/W2005973420","https://openalex.org/W2006578353","https://openalex.org/W2028914085","https://openalex.org/W2049695835","https://openalex.org/W2061227290","https://openalex.org/W2068162212","https://openalex.org/W2079055089","https://openalex.org/W2094382938","https://openalex.org/W2101512909","https://openalex.org/W2106724512","https://openalex.org/W2109208297","https://openalex.org/W2109276114","https://openalex.org/W2110311336","https://openalex.org/W2114869486","https://openalex.org/W2119249385","https://openalex.org/W2120552859","https://openalex.org/W2121213139","https://openalex.org/W2129713212","https://openalex.org/W2135841285","https://openalex.org/W2146408397","https://openalex.org/W2158586961","https://openalex.org/W2164214215","https://openalex.org/W2786944871","https://openalex.org/W3196350964","https://openalex.org/W4237492309","https://openalex.org/W4238890655","https://openalex.org/W4242377092","https://openalex.org/W4247362152","https://openalex.org/W4250619922","https://openalex.org/W4298110250","https://openalex.org/W4312592835","https://openalex.org/W4391462747","https://openalex.org/W6603111959","https://openalex.org/W6676135447","https://openalex.org/W6784780677"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"This":[0,143],"article":[1,120],"is":[2],"a":[3,52,66,109,129,158],"retrospective":[4,76],"reflection":[5,144],"on":[6,29,83],"our":[7],"paper":[8,50,82,108],"Constraint-Based":[9,150],"Automatic":[10],"Test":[11,151],"Data":[12],"Generation":[13,153],"(DeMillo":[14],"and":[15,63,101,141,154],"Offutt,":[16],"1991),":[17],"which":[18],"was":[19],"selected":[20],"by":[21],"the":[22,26,35,40,44,78,81,84,89,92,95,102,107,119,146,162],"editorial":[23],"board":[24],"of":[25,34,39,43,80,86,91,97,111,131,149,164],"IEEE":[27],"Transactions":[28],"Software":[30],"Engineering":[31],"as":[32,157],"one":[33],"most":[36],"influential":[37],"papers":[38],"second":[41],"decade":[42],"journal.":[45],"Published":[46],"in":[47,69,127,161],"1991,":[48],"this":[49],"introduced":[51],"novel":[53],"approach":[54,72],"to":[55,71,137],"automated":[56],"test":[57,98],"case":[58],"generation":[59],"using":[60],"symbolic":[61],"execution":[62],"constraint-solving":[64],"techniques,":[65],"fundamental":[67],"shift":[68],"how":[70],"software":[73,165],"testing.":[74],"The":[75],"explores":[77],"impact":[79],"development":[85],"mutation":[87],"testing,":[88],"creation":[90],"Mothra":[93],"toolset,":[94],"evolution":[96],"automation":[99],"practices,":[100],"technical":[103,117],"innovations":[104],"that":[105,135],"made":[106],"cornerstone":[110],"modern":[112],"testing":[113],"research.":[114],"Beyond":[115],"its":[116,125,155],"contributions,":[118],"has":[121],"become":[122],"known":[123],"for":[124],"role":[126,156],"fostering":[128],"culture":[130],"rigorous":[132],"systems-oriented":[133],"research":[134],"continues":[136],"influence":[138],"both":[139],"academia":[140],"industry.":[142],"highlights":[145],"enduring":[147],"relevance":[148],"Case":[152],"foundational":[159],"work":[160],"field":[163],"engineering.":[166]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}