Extensions to the C programming language for enhanced fault detection

A Practical Approach to Programming With Assertions

IEEE Transactions on Software Engineering

CONSIT: a fully automated conditioned program slicer

Software—Practice & Experience

A brief survey of program slicing

ACM SIGSOFT Software Engineering Notes

A historical perspective on runtime assertion checking in software development

ACM SIGSOFT Software Engineering Notes

Language design and analyzability: a retrospective

Software—Practice & Experience