Editorial: Specification-based testing revisited?

被引：16
|
作者：
White, LJ
机构：
来源：
SOFTWARE TESTING VERIFICATION & RELIABILITY | 2001年 / 11卷 / 01期
关键词：
D O I：
10.1002/stvr.220
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 2
页数：2
相关论文
共 50 条
  • [31] Specification-based Testing for Gui-based Applications
    Jessica Chen
    Suganthan Subramaniam
    Software Quality Journal, 2002, 10 : 205 - 224
  • [32] Evaluation of three specification-based testing criteria
    Abdurazik, A
    Ammann, P
    Ding, W
    Offutt, J
    SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2000, : 179 - 187
  • [33] Evaluation of three specification-based testing criteria
    Abdurazik, Aynur
    Ammann, Paul
    Ding, Wei
    Offutt, Jeff
    2000, IEEE, Piscataway, NJ, United States
  • [34] Specification-based testing with linear temporal logic
    Tan, L
    Sokolsky, O
    Lee, I
    PROCEEDINGS OF THE 2004 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI-2004), 2004, : 493 - 498
  • [35] An extended fault class hierarchy for specification-based testing
    Lau, MF
    Yu, YT
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2005, 14 (03) : 247 - 276
  • [36] The specification-based testing of a trusted kernel: MK++
    Ford, RL
    Simon, RT
    Bevier, WR
    Smith, LM
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 151 - 160
  • [37] Mutation Analysis of Specification-Based Contracts in Software Testing
    Khalilov, Abbas
    Tuglular, Tugkan
    Belli, Fevzi
    2021 15TH TURKISH NATIONAL SOFTWARE ENGINEERING SYMPOSIUM (UYMS), 2021, : 127 - 132
  • [38] ADLscope: an automated specification-based unit testing tool
    Chang, J
    Richardson, DJ
    13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 289 - 292
  • [39] A Specification-Based Approach to the Testing of Java Memory Bloat
    Qian, Ju
    Zhou, Xiaoyu
    Dang, Wanchun
    Wang, Ziyuan
    Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, 2016, : 347 - 352
  • [40] GUICop: Approach and toolset for specification-based GUI testing
    Hammoud, Dalal
    Zaraket, Fadi A.
    Masri, Wes
    Software Testing Verification and Reliability, 2017, 27 (08)
12345