A model of specification-based testing of interactive systems

被引：0
|
作者：
MacColl, I [1 ]
Carrington, D [1 ]
机构：
[1] Univ Queensland, Dept Comp Sci & Elect Engn, Software Verificat Res Ctr, Brisbane, Qld 4072, Australia
来源：
FM'99-FORMAL METHODS, VOL II | 1999年 / 1709卷
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：1862 / 1862
页数：1
相关论文
共 50 条
  • [31] Specification-Based Testing in Software Engineering Courses
    Fisher, Gene
    Johnson, Corrigan
    [J]. SIGCSE'18: PROCEEDINGS OF THE 49TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2018, : 800 - 805
  • [32] A specification-based approach to testing polymorphic attributes
    Liu, L
    Miao, HK
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 306 - 319
  • [33] Specification-based class testing: A case study
    MacColl, I
    Murray, L
    Strooper, P
    Carrington, D
    [J]. SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 222 - 231
  • [34] Parallel Specification-Based Testing for Concurrent Programs
    Minh Do, Canh
    Ogata, Kazuhiro
    [J]. IEEE Access, 2022, 10 : 24955 - 24975
  • [35] CHOC'LATE A Framework for Specification-based Testing
    Poon, Pak-Lok
    Tang, Sau-Fun
    Tse, T. H.
    Chen, T. Y.
    [J]. COMMUNICATIONS OF THE ACM, 2010, 53 (04) : 113 - 118
  • [36] Thoroughness of specification-based testing of synchronous programs
    Parissis, I
    Vassy, M
    [J]. ISSRE 2003: 14TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2003, : 191 - 200
  • [37] Evaluation of three specification-based testing criteria
    Abdurazik, A
    Ammann, P
    Ding, W
    Offutt, J
    [J]. SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2000, : 179 - 187
  • [38] Specification-based testing with linear temporal logic
    Tan, L
    Sokolsky, O
    Lee, I
    [J]. PROCEEDINGS OF THE 2004 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI-2004), 2004, : 493 - 498
  • [39] Specification-based Testing for Gui-based Applications
    Jessica Chen
    Suganthan Subramaniam
    [J]. Software Quality Journal, 2002, 10 : 205 - 224
  • [40] A Specification-Based Approach to Model Checking Event-Driven Systems
    Nhat-Hoa Tran
    [J]. SOICT 2019: PROCEEDINGS OF THE TENTH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY, 2019, : 449 - 456
12345