标题
Quantitative verification with adaptive uncertainty reduction
作者
关键词
Quantitative verification, Probabilistic model checking, Confidence intervals, Uncertainty reduction, Nonfunctional requirements, Unit testing
出版物
JOURNAL OF SYSTEMS AND SOFTWARE
Volume 188, Issue -, Pages 111275
出版商
Elsevier BV
发表日期
2022-02-23
DOI
10.1016/j.jss.2022.111275
参考文献
相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。- Performance analysis of radio spectrum for cognitive radio wireless networks using discrete time Markov chain
- (2019) Humaira Afzal et al. JOURNAL OF SYSTEMS AND SOFTWARE
- SimCA*
- (2019) Stepan Shevtsov et al. ACM Transactions on Autonomous and Adaptive Systems
- Expression caching for runtime verification based on parameterized probabilistic models
- (2019) Hiroyuki Nakagawa et al. JOURNAL OF SYSTEMS AND SOFTWARE
- Analytical modeling of performance indices under epistemic uncertainty applied to cloud computing systems
- (2019) Fabio Antonelli et al. Future Generation Computer Systems-The International Journal of eScience
- Efficient Parametric Model Checking Using Domain Knowledge
- (2019) Radu Calinescu et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Synthesis of probabilistic models for quality-of-service software engineering
- (2018) Simos Gerasimou et al. Automated Software Engineering
- Multiobjective Testing Resource Allocation Under Uncertainty
- (2018) Roberto Pietrantuono et al. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION
- Efficient synthesis of robust models for stochastic systems
- (2018) Radu Calinescu et al. JOURNAL OF SYSTEMS AND SOFTWARE
- Observation-Enhanced QoS Analysis of Component-Based Systems
- (2018) Colin Alexander Paterson et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
- (2017) Radu Calinescu et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Robust Statistical Methods for Empirical Software Engineering
- (2016) Barbara Kitchenham et al. EMPIRICAL SOFTWARE ENGINEERING
- Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems
- (2016) Radu Calinescu et al. IEEE TRANSACTIONS ON RELIABILITY
- RELAI Testing: A Technique to Assess and Improve Software Reliability
- (2016) Domenico Cotroneo et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters
- (2016) Guoxin Su et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Improving self-adaptation planning through software architecture-based stochastic modeling
- (2016) João M. Franco et al. JOURNAL OF SYSTEMS AND SOFTWARE
- Model-based verification of quantitative non-functional properties for software product lines
- (2012) Carlo Ghezzi et al. INFORMATION AND SOFTWARE TECHNOLOGY
- QoS and energy management with Petri nets: A self-adaptive framework
- (2012) Diego Perez-Palacin et al. JOURNAL OF SYSTEMS AND SOFTWARE
- Architecture-driven reliability optimization with uncertain model parameters
- (2012) Indika Meedeniya et al. JOURNAL OF SYSTEMS AND SOFTWARE
- A formal approach to adaptive software: continuous assurance of non-functional requirements
- (2011) Antonio Filieri et al. FORMAL ASPECTS OF COMPUTING
- When to stop testing: a study from the perspective of software reliability models
- (2011) M. Garg et al. IET Software
- Dynamic QoS Management and Optimization in Service-Based Systems
- (2010) Radu Calinescu et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Confidence intervals and p-values in clinical decision making
- (2008) Anthony K Akobeng ACTA PAEDIATRICA
Find the ideal target journal for your manuscript
Explore over 38,000 international journals covering a vast array of academic fields.
SearchCreate your own webinar
Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.
Create Now