• DocumentCode
    2599471
  • Title

    A framework for automatic debugging

  • Author

    Auguston, Mikhail ; Jeffery, Clinton ; Underwood, Scott

  • Author_Institution
    Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
  • fYear
    2002
  • fDate
    2002
  • Firstpage
    217
  • Lastpage
    222
  • Abstract
    This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. The approach is non-intrusive with respect to program source code and provides a high level of abstraction for debugging activities.
  • Keywords
    formal specification; program debugging; application framework; automatic debugging framework; debugging activities; declarative specifications; execution monitors; program source code; Application software; Computer displays; Computer science; Debugging; Event detection; Object oriented modeling; Software engineering; Virtual machining; Voice mail; Writing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on
  • ISSN
    1938-4300
  • Print_ISBN
    0-7695-1736-6
  • Type

    conf

  • DOI
    10.1109/ASE.2002.1115015
  • Filename
    1115015
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2599471