Time constraint and test case generation in conformance testing

被引：0
|
作者：
Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China [1 ]
不详 [2 ]
机构：
来源：
Hsi An Chiao Tung Ta Hsueh | 2006年 / 4卷 / 381-385期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Applying Constraint Logic Programming to SQL Test Case Generation
    Caballero, Rafael
    Garcia-Ruiz, Yolanda
    Saenz-Perez, Fernando
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2010, 6009 : 191 - 206
  • [22] Towards a Framework for Constraint-Based Test Case Generation
    Degrave, Francois
    Schrijvers, Tom
    Vanhoof, Wim
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2010, 6037 : 128 - +
  • [23] Test case design and generation for automated testing
    Schroeder, PJ
    Gopu, V
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, PROCEEDINGS: INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS, 2004, : 281 - 286
  • [24] Constraint-Based Test Case Generation for White-Box Method-Level Unit Testing
    Chang, Cheng-Hung
    Lin, Nai-Wei
    2016 INTERNATIONAL COMPUTER SYMPOSIUM (ICS), 2016, : 601 - 604
  • [25] Conformance testing for real-time systems
    Moez Krichen
    Stavros Tripakis
    Formal Methods in System Design, 2009, 34 : 238 - 304
  • [26] Conformance testing of time-dependent protocols
    Salinas, J
    Park, N
    Arunkumar, U
    Lombardi, F
    SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 257 - 264
  • [27] Test framework for IPv6 conformance testing
    Zhang, YJ
    Li, ZC
    2004 JOINT CONFERENCE OF THE 10TH ASIA-PACIFIC CONFERENCE ON COMMUNICATIONS AND THE 5TH INTERNATIONAL SYMPOSIUM ON MULTI-DIMENSIONAL MOBILE COMMUNICATIONS, VOLS 1 AND 2, PROCEEDINGS, 2004, : 810 - 813
  • [28] Conformance testing for real-time systems
    Krichen, Moez
    Tripakis, Stavros
    FORMAL METHODS IN SYSTEM DESIGN, 2009, 34 (03) : 238 - 304
  • [29] The value of conformance testing and a look at the SAF test project
    Spencer, B
    SERVICE AVAILABILITY, 2005, 3694 : 15 - 24
  • [30] Conformance Checking with Constraint Logic Programming: The Case of Feature Models
    Mazo, Raul
    Lopez-Herrejon, Roberto E.
    Salinesi, Camille
    Diaz, Daniel
    Egyed, Alexander
    2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2011, : 456 - 465
12345