Formal interpretation of software testing as inductive inference

被引：0
|
作者：
Zhu, Hong [1 ]
机构：
[1] Nanjing Univ, Nanjing, China
来源：
Software Testing Verification and Reliability | 1996年 / 6卷 / 01期
关键词：
D O I：
10.1002/(SICI)1099-1689(199603)6:13.0.CO;2-D
中图分类号：
学科分类号：
摘要：
50
引用
收藏
页码：3 / 31
相关论文
共 50 条
  • [1] FORMAL THEORY OF INDUCTIVE INFERENCE .2
    SOLOMONOFF, RJ
    [J]. INFORMATION AND CONTROL, 1964, 7 (02): : 224 - +
  • [2] FORMAL THEORY OF INDUCTIVE INFERENCE .I.
    SOLOMONOFF, RJ
    [J]. INFORMATION AND CONTROL, 1964, 7 (01): : 1 - +
  • [3] INDUCTIVE INFERENCE OF FORMAL LANGUAGES FROM POSITIVE DATA
    ANGLUIN, D
    [J]. INFORMATION AND CONTROL, 1980, 45 (02): : 117 - 135
  • [4] On Principles of Software Engineering - Role of the Inductive Inference
    Samuelis, Ladislav
    [J]. E-INFORMATICA SOFTWARE ENGINEERING JOURNAL, 2012, 6 (01) : 71 - 77
  • [5] Formal approaches to software testing
    Dasiewicz, P
    [J]. IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 697 - 702
  • [6] Formal Methods for Software Testing
    Gaudel, Marie-Claude
    [J]. PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017, : 1 - 3
  • [7] INDUCTIVE INFERENCE OF MONOTONIC FORMAL SYSTEMS FROM POSITIVE DATA
    SHINOHARA, T
    [J]. NEW GENERATION COMPUTING, 1990, 8 (04) : 371 - 384
  • [8] Inductive inference of monotonic formal systems from positive data
    Shinohara, T.
    [J]. Algorithmic Learning Theory, 1990,
  • [9] Formal methods in testing software architectures
    Bertolino, A
    Inverardi, P
    Muccini, H
    [J]. FORMAL METHODS FOR SOFTWARE ARCHITECTURES, 2003, 2804 : 122 - 147
  • [10] On the integration of software testing and formal analysis
    Braione P.
    Denaro G.
    Pezzè M.
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 7007 LNCS : 158 - 193
12345