Automated test generation and evaluation for real-time expert systems

被引：0
|
作者：
机构：
[1] Becker, Lee
[2] Duckworth, James
[3] Laznovsky, Aaron
[4] Green, Peter
来源：
Becker, Lee | 1600年 / Publ by John Wiley & Sons Inc, New York, NY, United States卷 / 09期
关键词：
Expert systems;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] AUTOMATED TEST-GENERATION AND EVALUATION FOR REAL-TIME EXPERT-SYSTEMS
    BECKER, L
    DUCKWORTH, J
    LAZNOVSKY, A
    GREEN, P
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1994, 9 (08) : 659 - 682
  • [2] Experimental test generation for real-time systems
    Fouchal, H
    Rabat, C
    Rollet, A
    Tarhini, A
    INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 284 - 289
  • [3] AUTOMATED CODE GENERATION OF EMBEDDED REAL-TIME SYSTEMS
    AUER, A
    KEMPPAINEN, P
    OKKONEN, A
    SEPPANEN, V
    MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 51 - 55
  • [4] Automated generation of test suites from formal specifications of real-time reactive systems
    Zheng, Mao
    Alagar, Vasu
    Ormandjieva, Olga
    JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (02) : 286 - 304
  • [5] REAL-TIME EXPERT SYSTEMS
    VOSHCHININ, AP
    MINKOV, N
    KRYSTEV, K
    SIMOV, SZ
    INDUSTRIAL LABORATORY, 1991, 57 (10): : 1063 - 1071
  • [6] Test cases generation for nondeterministic real-time systems
    Khoumsi, A
    Jéron, T
    Marchand, H
    FORMAL APPROACHES TO SOFTWARE TESTING, 2004, 2931 : 131 - 146
  • [7] A test generation framework for quiescent real-time systems
    Briones, LB
    Brinksma, E
    FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 64 - 78
  • [8] A test case generation algorithm for real-time systems
    Hessel, A
    Pettersson, P
    QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 268 - 273
  • [9] A method of test cases generation for real-time systems
    Ho, I
    Lin, JC
    FIRST INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC '98), 1998, : 249 - 253
  • [10] Automated test generation from object-oriented specifications of real-time reactive systems
    Alagar, VS
    Chen, M
    Ormandjieva, O
    Zheng, M
    ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 406 - 414
12345