Debugging on live systems

Abstract

It is more of a social than a technical problem.

Index Terms

• General and reference

  • Cross-computing tools and techniques

    • Verification

• Social and professional topics

  • Professional topics

    • Management of computing and information systems

      • Software management

        • Software maintenance

• Software and its engineering

  • Software creation and management

    • Software development process management

    • Software post-development issues

    • Software verification and validation

      • Formal software verification

  • Software notations and tools

  • Software organization and properties

    • Software functional properties

      • Formal methods

        • Software verification

• Theory of computation

  • Semantics and reasoning

    • Program reasoning

      • Program verification