A logical framework for software testing

被引：0
|
作者：
Li, Wei [1 ]
机构：
[1] Beihang Univ, State Key Lab Software Dev Environm, Beijing 100083, Peoples R China
来源：
TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS | 2008年
关键词：
refutation; software testing; defects; revision; symbolic calculus; logical inference system; first order languages;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：11 / 11
页数：1
相关论文
共 50 条
  • [21] A framework of Software Testing Metrics - Part 2
    Lazic, Ljubomir
    Mastorakis, Nikos
    [J]. Proceedings of the 4th IASME/WSEAS International Conference on Engineering Education, 2007, : 144 - 153
  • [22] A Framework for Analyzing and Testing the Performance of Software Services
    Bertolino, Antonia
    De Angelis, Guglielmo
    Di Marco, Antinisca
    Inverardi, Paola
    Sabetta, Antonino
    Tivoli, Massimo
    [J]. Communications in Computer and Information Science, 2009, 17 : 206 - 220
  • [23] A mathematical modeling framework for software reliability testing
    Cai, Kai-Yuan
    Dong, Zhao
    Liu, Ke
    Bai, Cheng-Gang
    [J]. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2007, 36 (04) : 399 - 463
  • [24] A Framework and a Tool for Robustness Testing of Communicating Software
    Saad-Khorchef, Fares
    Rollet, Antoine
    Castanet, Richard
    [J]. APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1461 - 1466
  • [25] CDFVME - Software framework for testing VME boards
    Gay, C
    Guo, Y
    Nahn, S
    Patrick, J
    Vejcik, S
    Votava, M
    [J]. IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2000, 47 (02) : 259 - 262
  • [26] A framework of Software Testing Metrics - Part 1
    Lazic, Ljubomir
    Mastorakis, Nikos
    [J]. Proceedings of the 4th IASME/WSEAS International Conference on Engineering Education, 2007, : 137 - 143
  • [27] An adaptive and trustworthy software testing framework on the grid
    Li, Yaohang
    Song, Yong-Duan
    [J]. JOURNAL OF SUPERCOMPUTING, 2008, 46 (02): : 124 - 138
  • [28] A Software Testing Framework for Networked Industrial Systems
    Satoh, Ichiro
    [J]. 39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013), 2013, : 4340 - 4345
  • [29] A Framework for Analyzing and Testing the Performance of Software Services
    Bertolino, Antonia
    De Angelis, Guglielmo
    Di Marco, Antinisca
    Inverardi, Paola
    Sabetta, Antonino
    Tivoli, Massimo
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 206 - +
  • [30] AUTOMATION FRAMEWORK FOR LOCALIZABILITY TESTING OF INTERNATIONALIZED SOFTWARE
    Archana, J.
    Chermapandian, Senthil Raja
    Palanivel, Saravanan
    [J]. 2013 INTERNATIONAL CONFERENCE ON HUMAN COMPUTER INTERACTIONS (ICHCI), 2013,
12345