Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Software Testing, Verification & Reliability
Perracotta: mining temporal API rules from imperfect traces
Proceedings of the 28th international conference on Software engineering
The Daikon system for dynamic detection of likely invariants
Science of Computer Programming
What went wrong: a taxonomy of video game bugs
Proceedings of the Fifth International Conference on the Foundations of Digital Games
Hi-index | 0.00 |
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often used to guide development rather than state properties guaranteed by the actual system. We propose a specification generator that reads execution traces and can generate invariants with real-time constraints. That specification can also offer programmers the ability to repair violated invariants at runtime. Creating fault-tolerant systems in this manner would provide software engineers guarantees about the software's high-level operation and its ability to recover from errors.