Testing theory for probabilistic systems

被引：0
|
作者：
Wolf, V [1 ]
机构：
[1] Univ Mannheim, Lehrstuhl Parkt Informat 2, D-6800 Mannheim, Germany
来源：
MODEL-BASED TESTING OF REACTIVE SYSTEMS | 2005年 / 3472卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：233 / 275
页数：43
相关论文
共 50 条
  • [21] Towards Overcoming Issues of Testing Probabilistic Distributed systems
    Tajioue, Mohammed Amine
    Maakoul, Oussama
    Hsaini, Sara
    Azzouzi, Salma
    Charaf, My El Hassan
    [J]. 2020 7TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'20), VOL 1, 2020, : 903 - 907
  • [22] Testing axioms for quantum theory on probabilistic toy-theories
    D'Ariano, Giacomo Mauro
    Tosini, Alessandro
    [J]. QUANTUM INFORMATION PROCESSING, 2010, 9 (02) : 95 - 141
  • [23] Testing axioms for quantum theory on probabilistic toy-theories
    Giacomo Mauro D’Ariano
    Alessandro Tosini
    [J]. Quantum Information Processing, 2010, 9 : 95 - 141
  • [24] Probabilistic theory of additive functions related to systems of numeration
    Manstavicius, E
    [J]. NEW TRENDS IN PROBABILITY AND STATISTICS, VOL 4: ANALYTIC AND PROBABILISTIC METHODS IN NUMBER THEORY, 1997, 4 : 413 - 429
  • [25] Theory and practice of probabilistic timed game for embedded systems
    Yamane, Satoshi
    [J]. EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2007, 4523 : 109 - 120
  • [26] A general SOS theory for the specification of probabilistic transition systems
    D'Argenio, Pedro R.
    Gebler, Daniel
    Lee, Matias David
    [J]. INFORMATION AND COMPUTATION, 2016, 249 : 76 - 109
  • [27] Probabilistic reasoning in expert systems. Theory and algorithms
    Neapolitan, R.E.
    Saunders, Dave
    [J]. Artificial Intelligence Review, 1992, 6 (01)
  • [28] Testing for ontological errors in probabilistic forecasting models of natural systems
    Marzocchi, Warner
    Jordan, Thomas H.
    [J]. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2014, 111 (33) : 11973 - 11978
  • [29] Storm: Program Reduction for Testing and Debugging Probabilistic Programming Systems
    Dutta, Saikat
    Zhang, Wenxian
    Huang, Zixin
    Misailovic, Sasa
    [J]. ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2019, : 729 - 739
  • [30] PROBABILISTIC TESTING
    RIPPEY, R
    [J]. JOURNAL OF EDUCATIONAL MEASUREMENT, 1968, 5 (03) : 211 - 215
12345