Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs

The Computer Journal ◽

10.1093/comjnl/bxl003 ◽

2005 ◽

Vol 49 (3) ◽

pp. 331-344 ◽

Author(s):

K. Derderian

Keyword(s):

Conformance Testing ◽

Input Output ◽

Output Sequence ◽

Sequence Generation

Download Full-text

Test Sequence Generation Based on Chain Unique Input-Output Sequence in FSM Conformance Testing

10.1145/3494885.3494901 ◽

2021 ◽

Author(s):

Weiwei Lin ◽

Hongwei Zeng

Keyword(s):

Conformance Testing ◽

Test Sequence ◽

Input Output ◽

Output Sequence ◽

Sequence Generation ◽

Test Sequence Generation

Download Full-text

A FSM-based Test Sequence Generation Method for RPL Conformance Testing

2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing ◽

10.1109/greencom-ithings-cpscom.2013.111 ◽

2013 ◽

Author(s):

Jun Tang ◽

Xiaohong Huang ◽

Jing Qian ◽

Cesar Viho

Keyword(s):

Conformance Testing ◽

Test Sequence ◽

Sequence Generation ◽

Test Sequence Generation

Download Full-text

Formal description and test cases generation of protocols based on input/output sequence

Journal of Computer Applications ◽

10.3724/sp.j.1087.2008.01471 ◽

2008 ◽

Vol 28 (6) ◽

pp. 1471-1474

Author(s):

Xiang GU

Keyword(s):

Formal Description ◽

Input Output ◽

Output Sequence

Download Full-text

Input–output conformance testing for software product lines

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2016.09.007 ◽

2016 ◽

Vol 85 (6) ◽

pp. 1131-1153 ◽

Author(s):

Harsh Beohar ◽

Mohammad Reza Mousavi

Keyword(s):

Software Product Lines ◽

Conformance Testing ◽

Input Output ◽

Product Lines ◽

Software Product

Download Full-text

Unifying modal interface theories and compositional input/output conformance testing

Science of Computer Programming ◽

10.1016/j.scico.2018.09.008 ◽

2019 ◽

Vol 172 ◽

pp. 27-47 ◽

Author(s):

Lars Luthmann ◽

Stephan Mennicke ◽

Malte Lochau

Keyword(s):

Conformance Testing ◽

Download Full-text

Test sequence generation for protocol conformance testing

[Proceedings] Singapore ICCS/ISITA `92 ◽

10.1109/iccs.1992.254980 ◽

2003 ◽

Author(s):

Tong Su ◽

Junliang Chen ◽

Shiduan Cheng

Keyword(s):

Conformance Testing ◽

Test Sequence ◽

Sequence Generation ◽

Test Sequence Generation ◽

Protocol Conformance Testing

Download Full-text

Comparative Analysis of Protocol Test Sequence Generation Methods for Conformance Testing

The Journal of Korea Institute of Information Electronics and Communication Technology ◽

10.17661/jkiiect.2017.10.4.325 ◽

2017 ◽

Vol 10 (4) ◽

pp. 325-332

Author(s):

Chul Kim

Keyword(s):

Comparative Analysis ◽

Conformance Testing ◽

Test Sequence ◽

Sequence Generation ◽

Test Sequence Generation ◽

Download Full-text

Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57666-4_5 ◽

2017 ◽

pp. 54-72 ◽

Author(s):

Lars Luthmann ◽

Stephan Mennicke ◽

Malte Lochau

Keyword(s):

Conformance Testing ◽

Download Full-text

Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02508-3_19 ◽

2018 ◽

pp. 354-375 ◽

Author(s):

Omer Nguena Timo ◽

Alexandre Petrenko ◽

S. Ramesh

Keyword(s):

Constraint Solving ◽

Input Output ◽

Sequence Generation

Download Full-text

Input-output conformance testing based on featured transition systems

Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 ◽

10.1145/2554850.2554949 ◽

2014 ◽

Author(s):

Harsh Beohar ◽

Mohammad Reza Mousavi

Keyword(s):

Conformance Testing ◽

Input Output ◽

Transition Systems

Download Full-text