{"id":"https://openalex.org/W2789357999","doi":"https://doi.org/10.1145/3159450.3162238","title":"Program Analysis Tools in Automated Grading of Homework Assignments","display_name":"Program Analysis Tools in Automated Grading of Homework Assignments","publication_year":2018,"publication_date":"2018-02-21","ids":{"openalex":"https://openalex.org/W2789357999","doi":"https://doi.org/10.1145/3159450.3162238","mag":"2789357999"},"language":"en","primary_location":{"id":"doi:10.1145/3159450.3162238","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3159450.3162238","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 49th ACM Technical Symposium on Computer Science Education","raw_type":"proceedings-article"},"type":"conference-abstract","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/A5083326011","display_name":"Ana Milanova","orcid":"https://orcid.org/0009-0005-9667-5276"},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ana Milanova","raw_affiliation_strings":["Rensselaer Polytechnic Institute, Troy, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110545036","display_name":"Barbara Cutler","orcid":null},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Barbara Cutler","raw_affiliation_strings":["Rensselaer Polytechnic Institute, Troy, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002253978","display_name":"Buster Holzbauer","orcid":null},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Buster Holzbauer","raw_affiliation_strings":["Rensselaer Polytechnic Institute, Troy, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021797108","display_name":"Evan Maicus","orcid":null},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Evan Maicus","raw_affiliation_strings":["Rensselaer Polytechnic Institute, Troy, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019676881","display_name":"Samuel Breese","orcid":null},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samuel Breese","raw_affiliation_strings":["Rensselaer Polytechnic Institute, Troy, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063180853","display_name":"Elizabeth Dinella","orcid":"https://orcid.org/0000-0003-0738-8813"},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Elizabeth Dinella","raw_affiliation_strings":["Rensselaer Polytechnic Institute, Troy, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017020569","display_name":"Matthew Peveler","orcid":null},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew Peveler","raw_affiliation_strings":["Rensselaer Polytechnic Institute, Troy, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I165799507"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1090","last_page":"1090"},"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.9991999864578247,"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.9991999864578247,"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/T10260","display_name":"Software Engineering Research","score":0.9972000122070312,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9926999807357788,"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/debugging","display_name":"Debugging","score":0.8070751428604126},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7862193584442139},{"id":"https://openalex.org/keywords/grading","display_name":"Grading (engineering)","score":0.7291613221168518},{"id":"https://openalex.org/keywords/unit-testing","display_name":"Unit testing","score":0.6144735217094421},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5865577459335327},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.5096592903137207},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4946872889995575},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.4561123847961426},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.24594852328300476},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22780483961105347},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1259826421737671}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8070751428604126},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7862193584442139},{"id":"https://openalex.org/C2777286243","wikidata":"https://www.wikidata.org/wiki/Q5591926","display_name":"Grading (engineering)","level":2,"score":0.7291613221168518},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.6144735217094421},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5865577459335327},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.5096592903137207},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4946872889995575},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.4561123847961426},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.24594852328300476},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22780483961105347},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1259826421737671},{"id":"https://openalex.org/C147176958","wikidata":"https://www.wikidata.org/wiki/Q77590","display_name":"Civil engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3159450.3162238","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3159450.3162238","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 49th ACM Technical Symposium on Computer Science Education","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8399999737739563,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2611067230","https://openalex.org/W2480201319","https://openalex.org/W2387706296","https://openalex.org/W2155788121","https://openalex.org/W4235469518","https://openalex.org/W362492756","https://openalex.org/W4282828008"],"abstract_inverted_index":{"With":[0],"surging":[1],"enrollment":[2],"in":[3],"Computer":[4],"Science":[5],"courses":[6],"at":[7],"both":[8],"the":[9,37,66,79],"introductory":[10],"and":[11,21,42,51,63,75,82,105,127,137,139,154,158,165],"advanced":[12],"level,":[13],"it":[14,116],"is":[15],"critical":[16],"to":[17,23,35,85,161],"leverage":[18],"automated":[19,60,80],"testing":[20,62,130],"grading":[22,38,64,91],"ensure":[24],"consistent":[25],"assessment":[26],"of":[27,59,96,120],"student":[28],"learning.":[29],"Program":[30],"analysis":[31,107],"tools":[32,108,135,142],"allow":[33],"us":[34],"streamline":[36],"process":[39],"so":[40],"instructors":[41],"TAs":[43],"can":[44,83],"spend":[45],"more":[46],"time":[47],"teaching,":[48],"one-on-one":[49],"tutoring,":[50],"mentoring":[52],"students.":[53],"We":[54],"present":[55],"complex":[56],"use":[57],"cases":[58],"assignment":[61],"within":[65],"open-source":[67],"homework":[68],"submission":[69],"system,":[70],"Submitty.":[71],"Students":[72],"receive":[73],"immediate":[74],"detailed":[76],"feedback":[77],"from":[78],"grader,":[81],"resubmit":[84],"correct":[86],"errors.":[87],"Submitty":[88],"uses":[89],"custom-built":[90],"tools,":[92,122,157],"including":[93,123],"difference":[94],"checking":[95],"plaintext":[97],"program":[98,112],"output,":[99],"instructor":[100],"authored":[101],"assignment-specific":[102],"custom":[103],"graders,":[104],"static":[106],"that":[109],"reason":[110],"about":[111],"structure.":[113],"In":[114,144],"addition,":[115],"employs":[117],"a":[118],"variety":[119],"external":[121],"version":[124],"control":[125],"(Git":[126],"SVN),":[128],"unit":[129],"frameworks":[131],"(JUnit),":[132],"memory":[133,152],"debugging":[134,153],"(Valgrind":[136],"DrMemory),":[138],"code":[140,155],"coverage":[141,156],"(Emma).":[143],"this":[145],"poster":[146],"we":[147],"describe":[148],"our":[149],"experience":[150],"with":[151],"outline":[159],"plans":[160],"include":[162],"immutability":[163],"inference":[164],"verification.":[166]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}