{"id":"https://openalex.org/W2987594817","doi":"https://doi.org/10.1162/evco_a_00266","title":"Multioracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets","display_name":"Multioracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets","publication_year":2019,"publication_date":"2019-11-15","ids":{"openalex":"https://openalex.org/W2987594817","doi":"https://doi.org/10.1162/evco_a_00266","mag":"2987594817","pmid":"https://pubmed.ncbi.nlm.nih.gov/31730371"},"language":"en","primary_location":{"id":"doi:10.1162/evco_a_00266","is_oa":false,"landing_page_url":"https://doi.org/10.1162/evco_a_00266","pdf_url":null,"source":{"id":"https://openalex.org/S38677346","display_name":"Evolutionary Computation","issn_l":"1063-6560","issn":["1063-6560","1530-9304"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315718","host_organization_name":"The MIT Press","host_organization_lineage":["https://openalex.org/P4310315718"],"host_organization_lineage_names":["The MIT Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Evolutionary Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"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/A5044057928","display_name":"Marcel Wever","orcid":"https://orcid.org/0000-0001-9782-6818"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Marcel Wever","raw_affiliation_strings":["Heinz Nixdorf Institut, Paderborn University, Paderborn, 33102, Germany"],"affiliations":[{"raw_affiliation_string":"Heinz Nixdorf Institut, Paderborn University, Paderborn, 33102, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069809144","display_name":"Lorijn van Rooijen","orcid":null},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Lorijn van Rooijen","raw_affiliation_strings":["Department of Computer Science, Paderborn University, Paderborn, 33098, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Paderborn University, Paderborn, 33098, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017908221","display_name":"Heiko Hamann","orcid":"https://orcid.org/0000-0002-2458-8289"},"institutions":[{"id":"https://openalex.org/I9341345","display_name":"University of L\u00fcbeck","ror":"https://ror.org/00t3r8h32","country_code":"DE","type":"education","lineage":["https://openalex.org/I9341345"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Heiko Hamann","raw_affiliation_strings":["Institute of Computer Engineering, University of L\u00fcbeck, L\u00fcbeck, 23562, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Engineering, University of L\u00fcbeck, L\u00fcbeck, 23562, Germany","institution_ids":["https://openalex.org/I9341345"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5017908221","https://openalex.org/A5044057928","https://openalex.org/A5069809144"],"corresponding_institution_ids":["https://openalex.org/I206945453","https://openalex.org/I9341345"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.14153888,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"28","issue":"2","first_page":"165","last_page":"193"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9872000217437744,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9731000065803528,"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.8252442479133606},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.8063954710960388},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5996090173721313},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5579755902290344},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5579184293746948},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5100782513618469},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5076419115066528},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4548649191856384},{"id":"https://openalex.org/keywords/requirements-engineering","display_name":"Requirements engineering","score":0.43763548135757446},{"id":"https://openalex.org/keywords/user-requirements-document","display_name":"User requirements document","score":0.428719162940979},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4205077886581421},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4169570803642273},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3628668785095215},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27433353662490845}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8252442479133606},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.8063954710960388},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5996090173721313},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5579755902290344},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5579184293746948},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5100782513618469},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5076419115066528},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4548649191856384},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.43763548135757446},{"id":"https://openalex.org/C143267671","wikidata":"https://www.wikidata.org/wiki/Q7901856","display_name":"User requirements document","level":2,"score":0.428719162940979},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4205077886581421},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4169570803642273},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3628668785095215},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27433353662490845},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D005075","descriptor_name":"Biological Evolution","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D005075","descriptor_name":"Biological Evolution","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D005075","descriptor_name":"Biological Evolution","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D007858","descriptor_name":"Learning","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D007858","descriptor_name":"Learning","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D007858","descriptor_name":"Learning","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true}],"locations_count":2,"locations":[{"id":"doi:10.1162/evco_a_00266","is_oa":false,"landing_page_url":"https://doi.org/10.1162/evco_a_00266","pdf_url":null,"source":{"id":"https://openalex.org/S38677346","display_name":"Evolutionary Computation","issn_l":"1063-6560","issn":["1063-6560","1530-9304"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315718","host_organization_name":"The MIT Press","host_organization_lineage":["https://openalex.org/P4310315718"],"host_organization_lineage_names":["The MIT Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Evolutionary Computation","raw_type":"journal-article"},{"id":"pmid:31730371","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/31730371","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Evolutionary computation","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W140239635","https://openalex.org/W1497256448","https://openalex.org/W1526339308","https://openalex.org/W1526808427","https://openalex.org/W1559171143","https://openalex.org/W1564524050","https://openalex.org/W1725778618","https://openalex.org/W1949548705","https://openalex.org/W1969005071","https://openalex.org/W1977321274","https://openalex.org/W1984074188","https://openalex.org/W1989445634","https://openalex.org/W2004662957","https://openalex.org/W2033269895","https://openalex.org/W2042709251","https://openalex.org/W2067760738","https://openalex.org/W2094235682","https://openalex.org/W2105465333","https://openalex.org/W2108349057","https://openalex.org/W2120437191","https://openalex.org/W2126105956","https://openalex.org/W2129936995","https://openalex.org/W2158669285","https://openalex.org/W2355861770","https://openalex.org/W2728867059","https://openalex.org/W2891606408","https://openalex.org/W2999087044","https://openalex.org/W4210434492","https://openalex.org/W4241372395","https://openalex.org/W4298132949","https://openalex.org/W4299353676","https://openalex.org/W4300060415"],"related_works":["https://openalex.org/W2005455721","https://openalex.org/W38156831","https://openalex.org/W2574990557","https://openalex.org/W1985827719","https://openalex.org/W2512714094","https://openalex.org/W1578271834","https://openalex.org/W2608001814","https://openalex.org/W2508240980","https://openalex.org/W4382991252","https://openalex.org/W2012957645"],"abstract_inverted_index":{"In":[0,114],"software":[1,42,54],"engineering,":[2],"the":[3,17,30,41,85,112,143,146,159,171,186,195],"imprecise":[4],"requirements":[5,14,18,27,76],"of":[6,40,73,87,188,214],"a":[7,12,52,75,209],"user":[8,144,190],"are":[9,63],"transformed":[10],"to":[11,34,47,50,66,84,90,108,111,125,170],"formal":[13],"specification":[15,77],"during":[16],"elicitation":[19],"process.":[20],"This":[21],"process":[22,44,197],"is":[23,192,198,220],"usually":[24,103],"guided":[25],"by":[26],"engineers":[28],"interviewing":[29],"user.":[31,113],"We":[32,154,167],"want":[33],"partially":[35,81],"automate":[36],"this":[37,100,115],"first":[38],"step":[39],"engineering":[43],"in":[45],"order":[46],"enable":[48],"users":[49,62],"specify":[51],"desired":[53],"system":[55],"on":[56],"their":[57],"own.":[58],"With":[59],"our":[60,121,156,215],"approach,":[61],"only":[64],"asked":[65],"provide":[67,176],"exemplary":[68],"behavioral":[69],"descriptions.":[70],"The":[71,136],"problem":[72,86],"synthesizing":[74],"from":[78,128,142],"examples":[79],"can":[80],"be":[82,109],"reduced":[83,193],"grammatical":[88],"inference,":[89],"which":[91],"we":[92,117,183,207],"apply":[93,161],"an":[94,177,212],"active":[95,122,172],"coevolutionary":[96],"learning":[97,123,173],"approach.":[98],"However,":[99],"approach":[101,124,158,174,216],"would":[102],"require":[104],"many":[105],"feedback":[106],"queries":[107,191],"sent":[110],"work,":[116],"extend":[118],"and":[119,145,175,194,211],"generalize":[120],"receive":[126],"knowledge":[127,162,219],"multiple":[129],"oracles,":[130],"also":[131],"known":[132],"as":[133],"proactive":[134],"learning.":[135],"``user":[137],"oracle''":[138],"represents":[139,149],"input":[140],"received":[141],"\"knowledge":[147],"oracle\"":[148],"available,":[150],"formalized":[151],"domain":[152],"knowledge.":[153],"call":[155],"two-oracle":[157],"\"first":[160],"then":[163],"query\"":[164],"(FAKT/Q)":[165],"algorithm.":[166],"compare":[168],"FAKT/Q":[169],"extensive":[178],"benchmark":[179],"evaluation.":[180],"As":[181],"result":[182],"find":[184],"that":[185],"number":[187],"required":[189],"inference":[196],"sped":[199],"up":[200],"significantly.":[201],"Finally,":[202],"with":[203],"so-called":[204],"On-The-Fly":[205],"Markets,":[206],"present":[208],"motivation":[210],"application":[213],"where":[217],"such":[218],"available.":[221]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}