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 条
  • [1] A Logical Framework for Configuration Software
    Vlaeminck, Hanne
    Vennekens, Joost
    Denecker, Marc
    [J]. PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 141 - 147
  • [2] BOSMI: A Framework for Non-Intrusive Monitoring and Testing of Embedded Multithreaded Software on the Logical Level
    Jahic, Jasmin
    Kuhn, Thomas
    Jung, Matthias
    Wehn, Norbert
    [J]. 2018 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION (SAMOS XVIII), 2018, : 131 - 138
  • [3] A logical framework for monitoring and evolving software components
    Barringer, Howard
    Rydeheard, David
    Gabbay, Dov
    [J]. TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 273 - +
  • [4] A revision-based logical framework for evolvable software
    Barringer, Howard
    Rydeheard, David
    Warboys, Brian
    Gabbay, Dov
    [J]. PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2007, : 78 - +
  • [5] A software metric for logical errors and integration testing effort
    Leach, RJ
    Coleman, DM
    [J]. COMPASS '97 - ARE WE MAKING PROGRESS TOWARDS COMPUTER ASSURANCE?, 1997, : 139 - 146
  • [6] The Software Testing Automation Framework
    Rankin, C
    [J]. IBM SYSTEMS JOURNAL, 2002, 41 (01) : 126 - 139
  • [7] The NOvA software testing framework
    Tamsett, M.
    Group, C.
    [J]. 21ST INTERNATIONAL CONFERENCE ON COMPUTING IN HIGH ENERGY AND NUCLEAR PHYSICS (CHEP2015), PARTS 1-9, 2015, 664
  • [8] Forming logical deduction technique of repeated software testing system
    Govoruschenko, Tetyana
    [J]. TCSET 2006: MODERN PROBLEMS OF RADIO ENGINEERING, TELECOMMUNICATIONS AND COMPUTER SCIENCE, PROCEEDINGS, 2006, : 580 - 581
  • [9] A Framework for Automated Software Testing on the Cloud
    de Oliveira, Gustavo Savio
    Duarte, Alexandre
    [J]. 2013 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES (PDCAT), 2013, : 344 - 349
  • [10] A Framework for the Development and Testing of Cryptographic Software
    Burnett, Andrew
    Dowling, Tom
    [J]. ADVANCES IN COMPUTER AND INFORMATIOM SCIENCES AND ENGINEERING, 2008, : 45 - 50
12345