Test Sequence Generation from Combining Property Modeling and Program Slicing

2010 IEEE 34th Annual Computer Software and Applications Conference Workshops ◽

10.1109/compsacw.2010.18 ◽

2010 ◽

Cited By ~ 1

Author(s):

Hua Li ◽

Yong-guang Peng ◽

Xin-ming Ye ◽

Jing-yuan Yue

Keyword(s):

Program Slicing ◽

Test Sequence ◽

Sequence Generation ◽

Property Modeling ◽

Test Sequence Generation

Download Full-text

Test Sequence Generation for Java7 Fork/Join Using Interference Dependence

Journal on Today s Ideas-Tomorrow s Technologies ◽

10.15415/jotitt.2014.21001 ◽

2014 ◽

Vol 2 (1) ◽

pp. 1-12 ◽

Cited By ~ 1

Author(s):

Vipin Verma ◽

Vinay Arora

Keyword(s):

Test Sequence ◽

Sequence Generation ◽

Test Sequence Generation

Download Full-text

Safety requirement oriented test sequence generation algorithm for safety communication protocol

Journal of Computer Applications ◽

10.3724/sp.j.1087.2009.01828 ◽

2009 ◽

Vol 29 (7) ◽

pp. 1828-1831

Author(s):

Yi-qiang LI ◽

Zhong-wei XU ◽

Gang YU ◽

Yuan TAN

Keyword(s):

Communication Protocol ◽

Test Sequence ◽

Safety Requirement ◽

Safety Communication ◽

Generation Algorithm ◽

Sequence Generation ◽

Test Sequence Generation

Download Full-text

An Automatic Test Sequence Generation Method Based on Markov Chain Model

2021 World Conference on Computing and Communication Technologies (WCCCT) ◽

10.1109/wccct52091.2021.00024 ◽

2021 ◽

Author(s):

Liting Sun ◽

Shiwei Gao ◽

Lin Wang

Keyword(s):

Markov Chain ◽

Markov Chain Model ◽

Test Sequence ◽

Chain Model ◽

Automatic Test ◽

Sequence Generation ◽

Test Sequence Generation

Download Full-text

Test-sequence generation from formal requirement models

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966804 ◽

2002 ◽

Cited By ~ 10

Author(s):

S. Rayadurgam ◽

M.P.E. Heimdahl

Keyword(s):

Test Sequence ◽

Sequence Generation ◽

Formal Requirement ◽

Test Sequence Generation ◽

Requirement Models

Download Full-text

SealTest: a simple library for test sequence generation

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017 ◽

10.1145/3092703.3098229 ◽

2017 ◽

Cited By ~ 1

Author(s):

Sylvain Hallé ◽

Raphaël Khoury

Keyword(s):

Test Sequence ◽

Sequence Generation ◽

Test Sequence Generation

Download Full-text

Built-in test sequence generation for synchronous sequential circuits based on loading and expansion of test subsequences

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 ◽

10.1145/309847.310052 ◽

1999 ◽

Author(s):

Irith Pomeranz ◽

Sudhakar M. Reddy

Keyword(s):

Sequential Circuits ◽

Test Sequence ◽

Sequence Generation ◽

Synchronous Sequential Circuits ◽

Test Sequence Generation

Download Full-text

An improved method based on UIOv for test sequence generation

2012 IEEE 14th International Conference on Communication Technology ◽

10.1109/icct.2012.6511424 ◽

2012 ◽

Author(s):

Gu Juan ◽

Yuan Dong-ming ◽

Hu He-fei ◽

Gao Jin-chun

Keyword(s):

Test Sequence ◽

Improved Method ◽

Sequence Generation ◽

Test Sequence Generation

Download Full-text

Optimal test sequence generation using River Formation Dynamics

2016 International Conference System Modeling & Advancement in Research Trends (SMART) ◽

10.1109/sysmart.2016.7894483 ◽

2016 ◽

Author(s):

Yogita Khatri ◽

Abhilasha Sharma ◽

Akshi Kumar

Keyword(s):

Test Sequence ◽

Optimal Test ◽

Sequence Generation ◽

Formation Dynamics ◽

Test Sequence Generation ◽

River Formation Dynamics

Download Full-text

A New Test Sequence Generation Method for Interoperability Testing

Protocol Test Systems ◽

10.1007/978-0-387-34883-4_16 ◽

1995 ◽

pp. 243-258

Author(s):

Naonobu Okazaki ◽

Mi Rang Park ◽

Kaoru Takahashi ◽

Norio Shiratori

Keyword(s):

Test Sequence ◽

Sequence Generation ◽

Interoperability Testing ◽

Test Sequence Generation

Download Full-text

Protocol test sequence generation using UIO and BUIO

Proceedings IEEE International Conference on Communications ICC '95 ◽

10.1109/icc.1995.525194 ◽

2002 ◽

Cited By ~ 1

Author(s):

Yanghee Choi ◽

Dongkyun Kim ◽

Jaecheol Kim ◽

Yongbum Park ◽

Ilyoung Chung

Keyword(s):

Test Sequence ◽

Sequence Generation ◽

Test Sequence Generation ◽

Protocol Test

Download Full-text