Estimating the Probability of Failure When Testing Reveals No Failures
IEEE Transactions on Software Engineering
Validation of ultrahigh dependability for software-based systems
Communications of the ACM
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
Behavioral analysis of software architectures using LTSA
Proceedings of the 21st international conference on Software engineering
Model checking
Software reliability and dependability: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Operational Profiles in Software-Reliability Engineering
IEEE Software
Limits to Dependability Assurance--A Controversy Revisited
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
PRISM: a tool for automatic verification of probabilistic systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A progress measure for explicit-state probabilistic model-checkers
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Automated reliability estimation over partial systematic explorations
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |
System specifications have long been expressed through automata based languages, enabling verification techniques such as model checking. These verification techniques can assess whether a property holds or not, given a system specification. However, model checking techniques suffer from the traditionally called state explosion problem, that is, models which are useful for analysis grow exponentially in size when verifying their concurrent behaviour. This state explosion problem is a serious limitation of model checking techniques, often making the application of tools that apply them infeasible, and limiting techniques to only a partial exploration of the complete state space. In this work we propose a novel approach that could help gather useful, quantified domain-related information from such incomplete explorations, leveraging on the concept of probabilistic behaviour models of the environment, for supporting dependability cases.