Verification by abstraction as a preamble for interoperability test suite generation

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV ◽

10.1007/978-0-387-34867-4_10 ◽

1995 ◽

pp. 152-166 ◽

Cited By ~ 1

Author(s):

Pierre de Saqui-Sannes ◽

Jean-Pierre Courtiat ◽

René Casadessus

Keyword(s):

Test Suite ◽

Interoperability Test ◽

Test Suite Generation

Download Full-text

Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques

IFIP Advances in Information and Communication Technology - Testing of Communicating Systems ◽

10.1007/978-0-387-35516-0_8 ◽

2000 ◽

pp. 127-142 ◽

Cited By ~ 6

Author(s):

Jiwon Ryu ◽

Myungchul Kim ◽

Sungwon Kang ◽

Soonuk Seol

Keyword(s):

Experimental Design ◽

Test Suite ◽

Interoperability Test ◽

Test Suite Generation ◽

Design Techniques

Download Full-text

Bio-Inspired Gradient Genetic Optimization for Test Suite Generation

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v7i1.99107 ◽

2019 ◽

Vol 7 (1) ◽

pp. 99-107

Author(s):

T. Ramasundaram ◽

V.Sangeetha .

Keyword(s):

Test Suite ◽

Genetic Optimization ◽

Test Suite Generation

Download Full-text

Test Suite Generation for Software Reliability Testing Based on Hybrid Musa and Markov Method

2020 7th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa51864.2020.00087 ◽

2020 ◽

Author(s):

Li Yin

Keyword(s):

Software Reliability ◽

Test Suite ◽

Reliability Testing ◽

Test Suite Generation ◽

Markov Method

Download Full-text

T-way Test Suite Generation Strategy based on Ant Colony Algorithm to Support T-way Variable Strength

Journal of Physics Conference Series ◽

10.1088/1742-6596/1755/1/012034 ◽

2021 ◽

Vol 1755 (1) ◽

pp. 012034

Author(s):

N Ramli ◽

R R Othman ◽

R Hendradi ◽

I Iszaidy

Keyword(s):

Ant Colony Algorithm ◽

Ant Colony ◽

Test Suite ◽

Variable Strength ◽

Test Suite Generation

Download Full-text

Protocol conformance test suite generation

Proceedings of International Conference on Communication Technology. ICCT '96 ◽

10.1109/icct.1996.545165 ◽

2002 ◽

Cited By ~ 3

Author(s):

Pang Qixiang ◽

Cheng Shiduan ◽

Jin Yuehui

Keyword(s):

Test Suite ◽

Conformance Test ◽

Test Suite Generation

Download Full-text

Diversity in Search-Based Unit Test Suite Generation

Search Based Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-66299-2_17 ◽

2017 ◽

pp. 183-189 ◽

Cited By ~ 4

Author(s):

Nasser M. Albunian

Keyword(s):

Test Suite ◽

Unit Test ◽

Test Suite Generation

Download Full-text

An Improved Jaya Algorithm-Based Strategy for T-Way Test Suite Generation

Advances in Intelligent Systems and Computing - Emerging Trends in Intelligent Computing and Informatics ◽

10.1007/978-3-030-33582-3_34 ◽

2019 ◽

pp. 352-361 ◽

Cited By ~ 2

Author(s):

Abdullah B. Nasser ◽

Fadhl Hujainah ◽

AbdulRahman A. Al-Sewari ◽

Kamal Z. Zamli

Keyword(s):

Test Suite ◽

Jaya Algorithm ◽

Test Suite Generation

Download Full-text

On the Effectiveness of Whole Test Suite Generation

Search-Based Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09940-8_1 ◽

2014 ◽

pp. 1-15 ◽

Cited By ~ 6

Author(s):

Andrea Arcuri ◽

Gordon Fraser

Keyword(s):

Test Suite ◽

Test Suite Generation

Download Full-text

Model-Based Coverage-Driven Test Suite Generation for Software Product Lines

Model Driven Engineering Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24485-8_31 ◽

2011 ◽

pp. 425-439 ◽

Cited By ~ 22

Author(s):

Harald Cichos ◽

Sebastian Oster ◽

Malte Lochau ◽

Andy Schürr

Keyword(s):

Software Product Lines ◽

Test Suite ◽

Product Lines ◽

Model Based ◽

Software Product ◽

Test Suite Generation

Download Full-text

Test Suite Generation Based on Minimum Cut Set and Interaction Testing

Lecture Notes in Electrical Engineering - Proceedings of the 27th Conference of Spacecraft TT&C Technology in China ◽

10.1007/978-3-662-44687-4_52 ◽

2014 ◽

pp. 587-596

Author(s):

Weixiang Zhang ◽

Wenhong Liu

Keyword(s):

Test Suite ◽

Minimum Cut ◽

Interaction Testing ◽

Cut Set ◽

Test Suite Generation

Download Full-text