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 条
  • [1] A theory of probabilistic functional testing
    Bernot, G
    Bouaziz, L
    LeGall, P
    [J]. PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 216 - 226
  • [2] Testing Probabilistic Programming Systems
    Dutta, Saikat
    Legunsen, Owolabi
    Huang, Zixin
    Misailovic, Sasa
    [J]. ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2018, : 574 - 586
  • [3] Testing Probabilistic Distributed Systems
    Hierons, Robert M.
    Nunez, Manuel
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2010, 6117 : 63 - +
  • [4] Customized testing for probabilistic systems
    Llana-Diaz, Luis F.
    Nunez, Manuel
    Rodríguez, Ismael
    [J]. TESTING OF COMMUNICATION SYSTEMS, PROCEEDINGS, 2006, 3964 : 87 - 102
  • [5] Retaining the Probabilities in Probabilistic Testing Theory
    Georgievska, Sonja
    Andova, Suzana
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2010, 6014 : 79 - 93
  • [6] On a theory of a class of probabilistic systems
    Mortazavian, H
    [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 2000, 331 (11): : 911 - 916
  • [7] Probabilistic testing of asynchronously communicating systems
    Bhateja, Puneet
    [J]. 2021 28TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2021), 2021, : 503 - 508
  • [8] Probabilistic Testing for Stochastic Hybrid Systems
    Julius, A. Agung
    Pappas, George J.
    [J]. 47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 4030 - 4035
  • [9] Formal Testing of Timed and Probabilistic Systems
    Nunez, Manuel
    [J]. TESTING SOFTWARE AND SYSTEMS, 2011, 7019 : 9 - 14
  • [10] Testing of symbolic-probabilistic systems
    López, N
    Núñez, M
    Rodríguez, I
    [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 49 - 63
12345