{"id":"https://openalex.org/W4408106333","doi":"https://doi.org/10.22152/programming-journal.org/2025/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/W4408106333","doi":"https://doi.org/10.22152/programming-journal.org/2025/10/10"},"language":"en","primary_location":{"id":"doi:10.22152/programming-journal.org/2025/10/10","is_oa":false,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2025/10/10","pdf_url":null,"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":["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/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":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04167776,"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.7006862163543701},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.3569561243057251},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"Mathematics education","score":0.33157575130462646},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.32902318239212036},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.2918528616428375},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.2021772563457489},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.18328464031219482}],"concepts":[{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.7006862163543701},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.3569561243057251},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.33157575130462646},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.32902318239212036},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.2918528616428375},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.2021772563457489},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.18328464031219482}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.22152/programming-journal.org/2025/10/10","is_oa":false,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2025/10/10","pdf_url":null,"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:lup.lub.lu.se:4a42678e-7567-42cc-a82e-517672d20faa","is_oa":false,"landing_page_url":"https://lup.lub.lu.se/record/4a42678e-7567-42cc-a82e-517672d20faa","pdf_url":null,"source":{"id":"https://openalex.org/S4306400536","display_name":"Lund University Publications (Lund University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I187531555","host_organization_name":"Lund University","host_organization_lineage":["https://openalex.org/I187531555"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 2473-7321","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"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":{"Context":[0],"Developing":[1],"compilers":[2],"and":[3,12,86,106,193,198,210,248,272,304,310,331],"static":[4],"analysis":[5,59,109,327],"tools":[6,120,303],"(\u201clanguage":[7],"tools\u201d)":[8],"is":[9,154],"a":[10,21,37,56,72,155,176,230],"difficult":[11],"time-consuming":[13],"task.":[14],"We":[15,150,171,235,283,337],"have":[16],"previously":[17],"presented":[18],"property":[19,160,195],"probes,":[20],"technique":[22,67],"to":[23,49,190,202,269,293,343,347],"help":[24,348],"the":[25,41,44,47,52,63,135,173,188,214,245,265,280,287],"language":[26,124,349],"tool":[27,73,125,144,350],"developer":[28,48],"build":[29,352],"understanding":[30,353],"of":[31,43,55,113,131,157,179,181,229,277,300,354],"their":[32,355],"tool.":[33,356],"A":[34],"probe":[35],"presents":[36],"live":[38,345],"view":[39],"into":[40],"internals":[42],"compiler,":[45],"enabling":[46],"see":[50],"all":[51],"intermediate":[53],"steps":[54],"compilation":[57],"or":[58,295],"rather":[60],"than":[61],"just":[62],"final":[64],"output.":[65],"This":[66],"has":[68,78,96,134],"been":[69,79,98],"realized":[70],"in":[71,80,83,168,183,244,289],"called":[74],"CodeProber.":[75],"Inquiry":[76],"CodeProber":[77,101,182,226,238,257,268,298],"active":[81],"use":[82,95,180,276,297],"both":[84],"research":[85],"education":[87],"for":[88],"over":[89],"two":[90,254],"years,":[91],"but":[92],"its":[93],"practical":[94],"not":[97,129],"well":[99],"studied.":[100],"combines":[102],"liveness,":[103],"AST":[104],"exploration":[105,346],"presenting":[107],"program":[108,233],"results":[110,174],"on":[111,232],"top":[112],"source":[114],"code.":[115],"While":[116],"there":[117,153],"are":[118,128,166,316],"other":[119,301],"that":[121,133,264,286],"specifically":[122],"target":[123],"developers,":[126],"we":[127,216],"aware":[130],"any":[132,142],"same":[136,246],"design":[137],"as":[138,207,227],"CodeProber,":[139],"much":[140],"less":[141],"such":[143,206],"with":[145,187,223,333],"an":[146,184],"extensive":[147],"user":[148],"study.":[149],"therefore":[151],"claim":[152],"lack":[156],"knowledge":[158],"how":[159,194,199],"probes":[161,196],"(and":[162],"by":[163,318],"extension":[164],"CodeProber)":[165],"used":[167],"practice.":[169],"Approach":[170],"present":[172],"from":[175,219,241,328],"mixed-method":[177],"study":[178,291],"educational":[185],"setting,":[186],"goal":[189],"discover":[191],"if":[192],"help,":[197],"they":[200,273],"compare":[201],"more":[203],"traditional":[204],"techniques":[205],"test":[208,308],"cases":[209,309],"print":[211,311],"debugging.":[212,312],"In":[213],"study,":[215],"analyzed":[217,237],"data":[218,321],"11":[220,323],"in-person":[221,324],"interviews":[222],"students":[224,243,266,288],"using":[225],"part":[228],"course":[231,281],"analysis.":[234],"also":[236],"event":[239],"logs":[240],"24":[242,329],"course,":[247],"51":[249,334],"anonymized":[250],"survey":[251],"responses":[252],"across":[253],"courses":[255],"where":[256],"was":[258],"used.":[259],"Knowledge":[260],"Our":[261,314],"findings":[262,340],"show":[263],"find":[267,285],"be":[270],"useful,":[271],"make":[274],"continuous":[275],"it":[278],"during":[279],"labs.":[282],"further":[284],"our":[290,339],"seem":[292],"partially":[294],"fully":[296],"instead":[299],"development":[302],"techniques,":[305],"e.g.":[306],"breakpoint/step-debugging,":[307],"Grounding":[313],"claims":[315],"supported":[317],"three":[319],"different":[320],"sources:":[322],"interviews,":[325],"log":[326],"students,":[330],"surveys":[332],"responses.":[335],"Importance":[336],"hope":[338],"inspire":[341],"others":[342],"consider":[344],"developers":[351]},"counts_by_year":[],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2025-03-04T00:00:00"}