Software deviation analysis

Integrating obstacles in goal-driven requirements engineering

Proceedings of the 20th international conference on Software engineering

Handling Obstacles in Goal-Oriented Requirements Engineering

IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II

Model Checking Large Software Specifications

IEEE Transactions on Software Engineering

Designing a resourceful fault-tolerance system

Journal of Systems and Software

An Approach to Designing Safe Embedded Software

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software

Checking Inside the Black Box: Regression Testing by Comparing Value Spectra

IEEE Transactions on Software Engineering

Analysis of software test item generation: comparison between high skilled and low skilled engineers

Journal of Computer Science and Technology

SafeSpection --- A Systematic Customization Approach for Software Hazard Identification

SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security

Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems

Journal of Systems and Software

Generalizable safety annotations for specification of failure patterns

Software—Practice & Experience

Capture and reuse of composable failure patterns

International Journal of Critical Computer-Based Systems