%0 Conference Paper %1 SmithWebb92 %A Smith, P. %A Webb, G. I. %B A Future Promised: Proceedings of the Fifth Australian Society for Computers in Learning in Tertiary Education Conference (ASCILITE '92) %D 1992 %E Chia, . B. %E Pennell, R. %E Sims, R. %K Computer Education Science %P 351-356 %T Recent progress in the Development of a Debugging Assistant for Computer Programs %X We present recent progress in the development of a debugging assistant for helping novices debug their computer programs. Bradman, which is still in the implementation phase, is an interactive system which builds two models of the user's program - one reflecting what the program actually does and the other reflecting what the programmer intended to do. Conflicts between these two models are used by Bradman to find bugs in the program.

@inproceedings{SmithWebb92, abstract = {We present recent progress in the development of a debugging assistant for helping novices debug their computer programs. Bradman, which is still in the implementation phase, is an interactive system which builds two models of the user's program - one reflecting what the program actually does and the other reflecting what the programmer intended to do. Conflicts between these two models are used by Bradman to find bugs in the program.}, added-at = {2016-03-20T05:42:04.000+0100}, audit-trail = {*}, author = {Smith, P. and Webb, G. I.}, biburl = {https://www.bibsonomy.org/bibtex/2d63b878252bcc9b0be708cbf9e07853b/giwebb}, booktitle = {A Future Promised: Proceedings of the Fifth Australian Society for Computers in Learning in Tertiary Education Conference (ASCILITE '92)}, editor = {Chia, . B. and Pennell, R. and Sims, R.}, interhash = {2e41fb5f53f26a2137c5150e897dd506}, intrahash = {d63b878252bcc9b0be708cbf9e07853b}, keywords = {Computer Education Science}, location = {Sydney, Australia}, pages = {351-356}, timestamp = {2016-03-20T05:42:04.000+0100}, title = {Recent progress in the Development of a Debugging Assistant for Computer Programs}, year = 1992 }