Integrated, comprehensive assertion-based coverage

被引：0
|
作者：
TransEDA [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
Electron. Eng. Times | 2006年 / 1412卷 / 22-25期
关键词：
(Edited Abstract);
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Test Compaction Techniques for Assertion-Based Test Generation
    Tong, Jason G.
    Boule, Marc
    Zilic, Zeljko
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2013, 19 (01)
  • [42] Assertion-based verification for the SpaceCAKE multiprocessor - A case study
    Kulkarni, Milind
    Bommi, Benita J.
    HARDWARE AND SOFTWARE VERIFICATION AND TESTING, 2006, 3875 : 43 - 55
  • [43] Assertion-Based Reasoning Method for Calculus of Wireless System
    Wang, Luyao
    Xie, Wanling
    Zhu, Huibiao
    MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2017, 10460 : 484 - 502
  • [44] The Epistemic Responsibilities of Voters: Towards an Assertion-Based Account
    Giavazzi, Michele
    JOURNAL OF MORAL PHILOSOPHY, 2023, 20 (1-2) : 111 - 131
  • [45] Achieving Security Assurance with Assertion-based Application Construction
    Rubio-Medrano, Carlos E.
    Ahn, Gail-Joon
    Sohr, Karsten
    2014 INTERNATIONAL CONFERENCE ON COLLABORATIVE COMPUTING: NETWORKING, APPLICATIONS AND WORKSHARING (COLLABORATECOM), 2014, : 503 - 510
  • [46] AN ASSERTION-BASED VERIFICATION SYSTEM FOR FORMAL REQUIREMENTS DESCRIPTION
    AGUSA, K
    OHNISHI, A
    OHNO, Y
    JAPAN ANNUAL REVIEWS IN ELECTRONICS COMPUTERS & TELECOMMUNICATIONS, 1984, 12 : 11 - 23
  • [47] Assertion-based microarchitecture design for improved fault tolerance
    Reddy, Vimal K.
    Al-Zawawi, Ahmed S.
    Rotenberg, Eric
    PROCEEDINGS 2006 INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, 2007, : 362 - 369
  • [48] Assertion-Based Dynamic Verification for Executable UML Specifications
    Sugai, Masahito
    Teruya, Akira
    Iwata, Ehchiro
    Zakaria, Nurul Azma
    Matsumoto, Noriko
    Yoshida, Norihiko
    PROCEEDINGS OF THE 8TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED COMPUTER SCIENCE (ACS'08): RECENT ADVANCES ON APPLIED COMPUTER SCIENCE, 2008, : 181 - +
  • [49] Security Vulnerabilities Detection Through Assertion-Based Approach
    Ait-Ameur, Yamine
    Kissi, Salim Yahia
    Ameur-Boulifa, Rabea
    Seladji, Yassamin
    THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 381 - 387
  • [50] A framework of an assertion-based algorithmic debugging for distributed programs
    Ohta, T
    Kinoshita, H
    Kimata, T
    Mizuno, T
    15TH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING, PROCEEDINGS, 2001, : 319 - 324
12345