A declarative debugger for Maude

Some phrases, characters, events are timeless.

Some phrases, characters, events are timeless.

www.engr.siu.edu

www.engr.siu.edu

Slide 1

Debugging

Debugging

Software Testing Strategies

Software Testing Strategies

DPL: Distributed Processing of Logs (for Debugging

DPL: Distributed Processing of Logs (for Debugging

CHAPTER 17 SOFTWARE TESTING STRATEGIES

CHAPTER 17 SOFTWARE TESTING STRATEGIES

Document

Document