Automated unique input output sequence generation or conformance testing of FSMs

被引：0
|
作者：
Derderian, Karnig [1 ]
Hierons, Robert M. [1 ]
Harman, Mark [2 ]
Guo, Qiang [3 ]
机构：
[1] Department of Information Systems and Computing, Brunel University, Uxbridge, Middlesex UB8 3PH, United Kingdom
[2] Department of Computer Science, King's College London, London WC2R 2LS, United Kingdom
[3] Department of Computer Science, University of Sheffield, Sheffield S1 4DP, United Kingdom
来源：
Computer Journal | 2006年 / 49卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Journal article (JA)
引用
收藏
页码：331 / 344
相关论文
共 50 条
  • [1] Automated unique input output sequence generation for conformance testing of FSMs
    Derderian, K
    Hierons, RM
    Harman, M
    Guo, Q
    COMPUTER JOURNAL, 2006, 49 (03): : 331 - 344
  • [2] Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving
    Timo, Omer Nguena
    Petrenko, Alexandre
    Ramesh, S.
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2018, 2018, 11187 : 354 - 375
  • [3] Decomposability in Input Output Conformance Testing
    Noroozi, Neda
    Mousavi, Mohammad Reza
    Willemse, Tim A. C.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (111): : 51 - 66
  • [4] On the Complexity of Input Output Conformance Testing
    Noroozi, Neda
    Mousavi, Mohammad Reza
    Willemse, Tim A. C.
    FORMAL ASPECTS OF COMPONENT SOFTWARE, 2014, 8348 : 291 - 309
  • [5] Asynchronous Input-Output Conformance Testing
    Weiglhofer, Martin
    Wotawa, Franz
    2009 IEEE 33RD INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOLS 1 AND 2, 2009, : 154 - 159
  • [6] Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing
    Luthmann, Lars
    Mennicke, Stephan
    Lochau, Malte
    FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2016), 2017, 10231 : 54 - 72
  • [7] Hybrid input-output conformance and test generation
    van Osch, Michiel
    Formal Approaches to Software Testing and Runtime Verification, 2006, 4262 : 70 - 84
  • [8] Evolutionary generation of unique input/output sequences for class behavioral testing
    Li, Jinhua
    Bao, Wensheng
    Zhao, Yun
    Ma, Zhibing
    Dong, Huangzhen
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2009, 57 (11-12) : 1800 - 1807
  • [9] Input-output conformance testing for software product lines
    Beohar, Harsh
    Mousavi, Mohammad Reza
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (06) : 1131 - 1153
  • [10] A study on the extended unique input/output sequence
    Zhang, Xinchang
    Yang, Meihong
    Zhang, Jian
    Shi, Huiling
    Zhang, Wei
    INFORMATION SCIENCES, 2012, 203 : 44 - 58
12345