{"id":"https://openalex.org/W4408014829","doi":"https://doi.org/10.22152/programming-journal.org/2026/10/10","title":"Study of the Use of Property Probes in an Educational Setting","display_name":"Study of the Use of Property Probes in an Educational Setting","publication_year":2025,"publication_date":"2025-02-15","ids":{"openalex":"https://openalex.org/W4408014829","doi":"https://doi.org/10.22152/programming-journal.org/2026/10/10"},"language":"en","primary_location":{"id":"doi:10.22152/programming-journal.org/2026/10/10","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2026/10/10","pdf_url":"https://arxiv.org/pdf/2502.20540v1.pdf","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://arxiv.org/pdf/2502.20540v1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063346042","display_name":"Anton Risberg Alak\u00fcla","orcid":"https://orcid.org/0000-0003-0814-3367"},"institutions":[{"id":"https://openalex.org/I187531555","display_name":"Lund University","ror":"https://ror.org/012a77v79","country_code":"SE","type":"education","lineage":["https://openalex.org/I187531555"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Anton Risberg Alak\u00fcla","raw_affiliation_strings":["Lund University, Sweden"],"affiliations":[{"raw_affiliation_string":"Lund University, Sweden","institution_ids":["https://openalex.org/I187531555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045120654","display_name":"Niklas Fors","orcid":"https://orcid.org/0000-0003-2714-9457"},"institutions":[{"id":"https://openalex.org/I187531555","display_name":"Lund University","ror":"https://ror.org/012a77v79","country_code":"SE","type":"education","lineage":["https://openalex.org/I187531555"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Niklas Fors","raw_affiliation_strings":["Lund University, Sweden"],"affiliations":[{"raw_affiliation_string":"Lund University, Sweden","institution_ids":["https://openalex.org/I187531555"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001336269","display_name":"Emma S\u00f6derberg","orcid":"https://orcid.org/0000-0001-7966-4560"},"institutions":[{"id":"https://openalex.org/I187531555","display_name":"Lund University","ror":"https://ror.org/012a77v79","country_code":"SE","type":"education","lineage":["https://openalex.org/I187531555"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Emma S\u00f6derberg","raw_affiliation_strings":["Lund University, Sweden"],"affiliations":[{"raw_affiliation_string":"Lund University, Sweden","institution_ids":["https://openalex.org/I187531555"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5063346042"],"corresponding_institution_ids":["https://openalex.org/I187531555"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03330429,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11006","display_name":"BIM and Construction Integration","score":0.6751000285148621,"subfield":{"id":"https://openalex.org/subfields/2215","display_name":"Building and Construction"},"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/T11006","display_name":"BIM and Construction Integration","score":0.6751000285148621,"subfield":{"id":"https://openalex.org/subfields/2215","display_name":"Building and Construction"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6774202585220337},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"Mathematics education","score":0.32287389039993286},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.30050739645957947},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.22209522128105164},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.17814096808433533}],"concepts":[{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6774202585220337},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.32287389039993286},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.30050739645957947},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.22209522128105164},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.17814096808433533}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.22152/programming-journal.org/2026/10/10","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2026/10/10","pdf_url":"https://arxiv.org/pdf/2502.20540v1.pdf","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2502.20540","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2502.20540","pdf_url":"https://arxiv.org/pdf/2502.20540","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.22152/programming-journal.org/2026/10/10","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2026/10/10","pdf_url":"https://arxiv.org/pdf/2502.20540v1.pdf","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4408014829.pdf","grobid_xml":"https://content.openalex.org/works/W4408014829.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2931662336","https://openalex.org/W2077865380","https://openalex.org/W3006817050","https://openalex.org/W4401768695","https://openalex.org/W2765597752","https://openalex.org/W2134894512","https://openalex.org/W2083375246","https://openalex.org/W2067108088"],"abstract_inverted_index":{"Context":[0],"Developing":[1],"compilers":[2],"and":[3,12,82,101,185,190,202,238,261,292,297,317],"static":[4],"analysis":[5,57,104,313],"tools":[6,114,291],"(\"language":[7],"tools\")":[8],"is":[9,147],"a":[10,20,35,54,69,148,168,221],"difficult":[11],"time-consuming":[13],"task.We":[14],"have":[15],"previously":[16],"presented":[17],"property":[18,153,187],"probes,":[19],"technique":[21,64],"to":[22,47,182,194,258,281,328,332],"help":[23,333],"the":[24,39,42,45,50,61,129,165,180,205,235,254,269,275],"language":[25,118,334],"tool":[26,70,119,138,335],"developer":[27,46],"build":[28,337],"understanding":[29,338],"of":[30,41,53,108,125,150,171,173,220,266,288,339],"their":[31,340],"tool.A":[32],"probe":[33],"presents":[34],"live":[36,330],"view":[37],"into":[38],"internals":[40],"compiler,":[43],"enabling":[44],"see":[48],"all":[49],"intermediate":[51],"steps":[52],"compilation":[55],"or":[56,283],"rather":[58],"than":[59],"just":[60],"final":[62],"output.This":[63],"has":[65,74,92,128],"been":[66,75,94],"realized":[67],"in":[68,76,79,161,175,234,277],"called":[71],"CodeProber.Inquiry":[72],"CodeProber":[73,174,217,228,247,257,286],"active":[77],"use":[78,91,172,265,285],"both":[80],"research":[81],"education":[83],"for":[84],"over":[85],"two":[86,244],"years,":[87],"but":[88],"its":[89],"practical":[90],"not":[93,123],"well":[95],"studied.CodeProber":[96],"combines":[97],"liveness,":[98],"AST":[99],"exploration":[100,331],"presenting":[102],"program":[103,224],"results":[105,166],"on":[106,223],"top":[107],"source":[109],"code.While":[110],"there":[111,146],"are":[112,122,159,302],"other":[113,289],"that":[115,127,253,274],"specifically":[116],"target":[117],"developers,":[120],"we":[121,207],"aware":[124],"any":[126,136],"same":[130,236],"design":[131],"as":[132,199,218],"CodeProber,":[133],"much":[134],"less":[135],"such":[137,198],"with":[139,179,214,319],"an":[140,176],"extensive":[141],"user":[142],"study.We":[143],"therefore":[144],"claim":[145],"lack":[149],"knowledge":[151],"how":[152,186,191],"probes":[154,188],"(and":[155],"by":[156,304],"extension":[157],"CodeProber)":[158],"used":[160],"practice.Approach":[162],"We":[163,322],"present":[164],"from":[167,210,231,314],"mixed-method":[169],"study":[170,279],"educational":[177],"setting,":[178],"goal":[181],"discover":[183],"if":[184],"help,":[189],"they":[192,262],"compare":[193],"more":[195],"traditional":[196],"techniques":[197],"test":[200,295],"cases":[201,296],"print":[203,298],"debugging.In":[204],"study,":[206],"analyzed":[208,227],"data":[209,307],"11":[211,309],"in-person":[212,310],"interviews":[213],"students":[215,233,255,276],"using":[216],"part":[219],"course":[222,270],"analysis.We":[225],"also":[226],"event":[229],"logs":[230],"24":[232,315],"course,":[237],"51":[239,320],"anonymized":[240],"survey":[241],"responses":[242],"across":[243],"courses":[245],"where":[246],"was":[248],"used.Knowledge":[249],"Our":[250,300],"findings":[251,325],"show":[252],"find":[256,273],"be":[259],"useful,":[260],"make":[263],"continuous":[264],"it":[267],"during":[268],"labs.We":[271],"further":[272],"our":[278,324],"seem":[280],"partially":[282],"fully":[284],"instead":[287],"development":[290],"techniques,":[293],"e.g.breakpoint/step-debugging,":[294],"debugging.Grounding":[299],"claims":[301],"supported":[303],"three":[305],"different":[306],"sources:":[308],"interviews,":[311],"log":[312],"students,":[316],"surveys":[318],"responses.Importance":[321],"hope":[323],"inspire":[326],"others":[327],"consider":[329],"developers":[336],"tool.":[341]},"counts_by_year":[],"updated_date":"2026-03-12T06:13:28.667946","created_date":"2025-10-10T00:00:00"}