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 条
  • [1] Specification-based testing of interactive systems
    MacColl, I
    [J]. HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 640 - 643
  • [2] An approach to specification-based testing systems
    Zin, AM
    AlAmayreh, A
    Foxley, E
    [J]. SOFTWARE QUALITY ENGINEERING, 1997, : 267 - 276
  • [3] APPROACHES TO SPECIFICATION-BASED TESTING
    RICHARDSON, DJ
    OMALLEY, O
    TITTLE, C
    [J]. PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 86 - 96
  • [4] A framework for specification-based testing
    Stocks, P
    Carrington, D
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (11) : 777 - 793
  • [5] Specification-based incremental testing of object oriented systems
    Soundarajan, N
    Tyler, B
    [J]. TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 35 - 44
  • [6] Specification-based testing for refinement
    Kahsai, Temesghen
    Roggenbach, Markus
    Schlingloff, Bernd-Holger
    [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 237 - +
  • [7] Towards specification-based web testing
    Chen, J
    Chovanec, S
    [J]. WEB ENGINEERING AND PEER TO PEER COMPUTING, 2002, 2376 : 165 - 171
  • [8] Specification-based testing of real-time embedded systems
    Núñez, M
    Rodríguez, I
    [J]. From Specification to Embedded Systems Application, 2005, 184 : 115 - 124
  • [9] A SPECIFICATION-BASED DATA MODEL
    GANDHI, M
    ROBERTSON, EL
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 645 : 194 - 209
  • [10] Specification-based testing for real-time reactive systems
    Alagar, VS
    Ormandjieva, O
    Zheng, M
    [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS - TOOLS 34, PROCEEDINGS, 2000, : 25 - 36
12345