6 citations · 13 across the 6 of their papers we have counts for
3 papers · 1 filter
Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool
Oka Kurniawan, Erick Chandra, Christopher M. Poskitt +3
Debugging is a fundamental skill that novice programmers must develop. Numerous tools have been created to assist novice programmers in this process. Recently, large language model…
Simulated Interactive Debugging
Yannic Noller, Erick Chandra, Srinidhi Chandrashekar +4
Debugging software, i.e., the localization of faults and their repair, is a key activity in software engineering. Therefore, effective and efficient debugging is one of the core sk…
Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement
Jingyi Wang, Jun Sun, Shengchao Qin +1
Precisely modeling complex systems like cyber-physical systems is challenging, which often render model-based system verification techniques like model checking infeasible. To over…