{"id":"https://openalex.org/W4402496270","doi":"https://doi.org/10.1007/978-3-031-71177-0_8","title":"Alloy Repair Hint Generation Based on\u00a0Historical Data","display_name":"Alloy Repair Hint Generation Based on\u00a0Historical Data","publication_year":2024,"publication_date":"2024-09-12","ids":{"openalex":"https://openalex.org/W4402496270","doi":"https://doi.org/10.1007/978-3-031-71177-0_8"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-71177-0_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71177-0_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71177-0_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71177-0_8.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014834259","display_name":"Ana Barros\u2010Timmons","orcid":"https://orcid.org/0000-0002-6462-8679"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Ana Barros","raw_affiliation_strings":["INESC TEC, Porto, Portugal","Universidade do Porto, Porto, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INESC TEC, Porto, Portugal","institution_ids":["https://openalex.org/I4210166615"]},{"raw_affiliation_string":"Universidade do Porto, Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020695888","display_name":"Henrique Neto","orcid":"https://orcid.org/0009-0001-2701-7318"},"institutions":[{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Henrique Neto","raw_affiliation_strings":["INESC TEC, Porto, Portugal","Universidade do Minho, Braga, Portugal"],"raw_orcid":"https://orcid.org/0009-0001-2701-7318","affiliations":[{"raw_affiliation_string":"INESC TEC, Porto, Portugal","institution_ids":["https://openalex.org/I4210166615"]},{"raw_affiliation_string":"Universidade do Minho, Braga, Portugal","institution_ids":["https://openalex.org/I99682543"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069927997","display_name":"Alcino Cunha","orcid":"https://orcid.org/0000-0002-2714-8027"},"institutions":[{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Alcino Cunha","raw_affiliation_strings":["INESC TEC, Porto, Portugal","Universidade do Minho, Braga, Portugal"],"raw_orcid":"https://orcid.org/0000-0002-2714-8027","affiliations":[{"raw_affiliation_string":"INESC TEC, Porto, Portugal","institution_ids":["https://openalex.org/I4210166615"]},{"raw_affiliation_string":"Universidade do Minho, Braga, Portugal","institution_ids":["https://openalex.org/I99682543"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040416986","display_name":"Nuno Macedo","orcid":"https://orcid.org/0000-0002-4817-948X"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Nuno Macedo","raw_affiliation_strings":["INESC TEC, Porto, Portugal","Universidade do Porto, Porto, Portugal"],"raw_orcid":"https://orcid.org/0000-0002-4817-948X","affiliations":[{"raw_affiliation_string":"INESC TEC, Porto, Portugal","institution_ids":["https://openalex.org/I4210166615"]},{"raw_affiliation_string":"Universidade do Porto, Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068751710","display_name":"Ana C. R. Paiva","orcid":"https://orcid.org/0000-0003-3431-8060"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Ana C. R. Paiva","raw_affiliation_strings":["INESC TEC, Porto, Portugal","Universidade do Porto, Porto, Portugal"],"raw_orcid":"https://orcid.org/0000-0003-3431-8060","affiliations":[{"raw_affiliation_string":"INESC TEC, Porto, Portugal","institution_ids":["https://openalex.org/I4210166615"]},{"raw_affiliation_string":"Universidade do Porto, Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5014834259"],"corresponding_institution_ids":["https://openalex.org/I182534213","https://openalex.org/I4210166615"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.2045,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.79664804,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"104","last_page":"121"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9726999998092651,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9726999998092651,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12111","display_name":"Industrial Vision Systems and Defect Detection","score":0.9584000110626221,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14339","display_name":"Image Processing and 3D Reconstruction","score":0.9380999803543091,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.7746948003768921},{"id":"https://openalex.org/keywords/alloy","display_name":"Alloy","score":0.47282537817955017},{"id":"https://openalex.org/keywords/metallurgy","display_name":"Metallurgy","score":0.13955658674240112},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.13760906457901}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7746948003768921},{"id":"https://openalex.org/C2780026712","wikidata":"https://www.wikidata.org/wiki/Q37756","display_name":"Alloy","level":2,"score":0.47282537817955017},{"id":"https://openalex.org/C191897082","wikidata":"https://www.wikidata.org/wiki/Q11467","display_name":"Metallurgy","level":1,"score":0.13955658674240112},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.13760906457901}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-71177-0_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71177-0_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71177-0_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-71177-0_8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71177-0_8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71177-0_8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3244141788","display_name":null,"funder_award_id":"50014","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G4528900011","display_name":null,"funder_award_id":"UIDB/50014/2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"}],"funders":[{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4402496270.pdf","grobid_xml":"https://content.openalex.org/works/W4402496270.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W15150874","https://openalex.org/W173675007","https://openalex.org/W1514405275","https://openalex.org/W2023164354","https://openalex.org/W2065489029","https://openalex.org/W2237600160","https://openalex.org/W2246775628","https://openalex.org/W2744460230","https://openalex.org/W2745425599","https://openalex.org/W2886150761","https://openalex.org/W2888243497","https://openalex.org/W2946643708","https://openalex.org/W2963562081","https://openalex.org/W2966150097","https://openalex.org/W2969374400","https://openalex.org/W2970680470","https://openalex.org/W3039376843","https://openalex.org/W3162190912","https://openalex.org/W4225114647","https://openalex.org/W4243013071","https://openalex.org/W4243436994","https://openalex.org/W4285586679","https://openalex.org/W4296963219","https://openalex.org/W4312971677","https://openalex.org/W4382655636","https://openalex.org/W4393712940","https://openalex.org/W4398775915","https://openalex.org/W6600569285"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2383621719","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2362000966","https://openalex.org/W4236061742"],"abstract_inverted_index":{"Abstract":[0],"Platforms":[1],"to":[2,6,31,50,75,93,124],"support":[3,48,76],"novices":[4,52],"learning":[5],"program":[7],"are":[8,25,38],"often":[9,61],"accompanied":[10],"by":[11,132,175],"automated":[12],"next-step":[13,95],"hints":[14],"that":[15,89,133,142,158,181],"guide":[16],"them":[17],"towards":[18],"correct":[19],"solutions.":[20],"Many":[21],"of":[22,168,184,198],"those":[23,171],"approaches":[24],"data-driven,":[26],"building":[27],"on":[28,65,128],"historical":[29,136],"data":[30,130,137],"generate":[32,94],"higher":[33],"quality":[34,197],"hints.":[35],"Formal":[36],"specifications":[37],"increasingly":[39],"relevant":[40],"in":[41,63,170],"software":[42,67],"engineering":[43],"activities,":[44],"but":[45],"very":[46],"little":[47],"exists":[49],"help":[51,202],"while":[53,147],"learning.":[54,78],"Alloy":[55,88,117,216],"is":[56,138,188],"a":[57,71,212],"formal":[58,66],"specification":[59,81,149],"language":[60],"used":[62],"courses":[64],"development":[68],"methods,":[69],"and":[70,118,201],"platform\u2014Alloy4Fun\u2014has":[72],"been":[73,85,103],"proposed":[74,86,104],"autonomous":[77],"While":[79],"non-data-driven":[80,191],"repair":[82,192],"techniques":[83],"have":[84],"for":[87,116],"could":[90],"be":[91,154],"leveraged":[92],"hints,":[96,200],"no":[97],"data-driven":[98,112],"hint":[99,113,207],"generation":[100,114,152,208],"approach":[101],"has":[102],"so":[105],"far.":[106],"This":[107,135],"paper":[108],"presents":[109],"the":[110,129,166,182,196,199,204],"first":[111],"technique":[115,187],"its":[119],"implementation":[120],"as":[121,165],"an":[122],"extension":[123],"Alloy4Fun,":[125],"being":[126],"based":[127],"collected":[131],"platform.":[134],"processed":[139],"into":[140,160],"graphs":[141,172],"capture":[143],"past":[144],"students\u2019":[145],"progress":[146],"solving":[148],"challenges.":[150],"Hint":[151],"can":[153],"customized":[155],"with":[156,190,214],"policies":[157],"take":[159],"consideration":[161],"diverse":[162],"factors,":[163],"such":[164],"popularity":[167],"paths":[169],"successfully":[173],"traversed":[174],"previous":[176],"students.":[177],"Our":[178],"evaluation":[179],"shows":[180],"performance":[183],"this":[185],"new":[186],"competitive":[189],"techniques.":[193],"To":[194],"assess":[195],"select":[203],"most":[205],"appropriate":[206],"policy,":[209],"we":[210],"conducted":[211],"survey":[213],"experienced":[215],"instructors.":[217]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}