Neuro-symbolic program corrector for introductory programming assignments

Automatic correction of programs is a challenging problem with numerous real world applications in security, verification, and education. One application that is becoming increasingly important is the correction of student submissions in online courses for providing feedback. Most existing program r...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) s. 60 - 70
Hlavní autoři:	Bhatia, Sahil, Kohli, Pushmeet, Singh, Rishabh
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 27.05.2018
Edice:	ACM Conferences
Témata:	Automated Feedback Generation Computing methodologies > Machine learning > Machine learning approaches > Neural networks Maintenance engineering Neural guided search Neural Program Correction Prediction algorithms Programming Recurrent neural networks Semantics Software and its engineering > Software creation and management > Search-based software engineering Software and its engineering > Software organization and properties > Software functional properties > Correctness > Functionality Syntactics neural guided search automated feedback generation neural program correction
ISBN:	9781450356381, 1450356389
ISSN:	1558-1225
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!