SOFTWARE-VERIFICATION USING BRANCH ANALYSIS

被引：0
|
作者：
HERINGTON, DE
NICHOLS, PA
LIPP, RD
机构：
来源：
HEWLETT-PACKARD JOURNAL | 1987年 / 38卷 / 06期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：13 / 22
页数：10
相关论文
共 50 条
  • [1] SOFTWARE-VERIFICATION AND VALIDATION - AN OVERVIEW
    WALLACE, DR
    FUJII, RU
    IEEE SOFTWARE, 1989, 6 (03) : 10 - 17
  • [2] TEACHING SOFTWARE-VERIFICATION AND VALIDATION TO SOFTWARE PRACTITIONERS
    LUGINBUHL, DR
    CARDOW, JE
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 640 : 167 - 179
  • [3] LOGIC PROGRAMMING FOR SOFTWARE-VERIFICATION AND TESTING
    KHANNA, S
    COMPUTER JOURNAL, 1991, 34 (04): : 350 - 357
  • [4] SOFTWARE-VERIFICATION EFFORT AT THE MIMICAD CENTER FOR MICROSTRIP PASSIVE COMPONENTS
    WU, DI
    FURLOW, RJ
    INTERNATIONAL JOURNAL OF MICROWAVE AND MILLIMETER-WAVE COMPUTER-AIDED ENGINEERING, 1994, 4 (03): : 248 - 258
  • [5] VERIFYING A LOGIC-SYNTHESIS ALGORITHM AND IMPLEMENTATION - A CASE-STUDY IN SOFTWARE-VERIFICATION
    AAGAARD, M
    LEESER, M
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (10) : 822 - 833
  • [6] Test Analysis Verification Using Open Software
    Brandt, Anders
    Sturesson, Per-Olof
    Ristinmaa, Matti
    SOUND AND VIBRATION, 2014, 48 (06): : 13 - 16
  • [7] Hardware Verification using Software Analyzers
    Mukherjee, Rajdeep
    Kroening, Daniel
    Melham, Torn
    2015 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, 2015, : 7 - 12
  • [8] Extrusion flow analysis software verification
    Hanson, D
    Cappella, R
    CONFERENCE PROCEEDINGS AT ANTEC '98: PLASTICS ON MY MIND, VOLS I-3: VOL I; PROCESSING, VOL II; SPECIAL AREAS, VOL III; MATERIALS, 1998, 44 : 3471 - 3474
  • [9] The Analysis of Existing Methods of Software Verification
    Bondarev, Sergei E.
    Chudinov, Maksim A.
    Prokhorov, Andrey S.
    PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2019, : 191 - 193
  • [10] Enhancing Branch Prediction using Software Evolution
    Dutta, Saikat
    Das, Moumita
    Banerjee, Ansuman
    PROCEEDINGS OF THE 2015 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, ARCHITECTURE AND STORAGE (NAS), 2015, : 295 - 304
12345