2016 | OriginalPaper | Buchkapitel
Debugging and Visualization
verfasst von : Martin Hentschel, Reiner Hähnle, Richard Bubel
Erschienen in: Deductive Software Verification – The KeY Book
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Out of the four papers ([Burstall, 1974, Boyer et al., 1975, Katz and Manna, 1975, King, 1976]) that independently introduced symbolic execution as a program analysis technique during the mid 1970s, no less than three mention debugging as a motivation. Indeed, symbolic execution has a number of natural properties that make it attractive in helping to debug programs: