Four Conceptions of Instruction Sequence Faults

This work addresses conceptual clarity in fault analysis for researchers in computer science or formal methods, but it is incremental as it builds on existing notions without introducing new methods or data.

The paper examines the concept of instruction sequence faults from four distinct perspectives, formulating different viewpoints on what constitutes a fault or how to use the notion, and proposes an integration of these views.