Constraint Solving in Test-Data Generation

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming - CP 2002 ◽

10.1007/3-540-46135-3_68 ◽

2002 ◽

pp. 770-771

Author(s):

Yuan Zhan

Keyword(s):

Test Data ◽

Constraint Solving ◽

Test Data Generation ◽

Data Generation

Download Full-text

Path-oriented test data generation using symbolic execution and constraint solving techniques

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. ◽

10.1109/sefm.2004.1347528 ◽

2004 ◽

Author(s):

Jian Zhang ◽

Chen Xu ◽

Xiaoliang Wang

Keyword(s):

Test Data ◽

Symbolic Execution ◽

Constraint Solving ◽

Test Data Generation ◽

Data Generation

Download Full-text

Automatic test data generation using constraint solving techniques

Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 ◽

10.1145/271771.271790 ◽

1998 ◽

Author(s):

Arnaud Gotlieb ◽

Bernard Botella ◽

Michel Rueher

Keyword(s):

Test Data ◽

Constraint Solving ◽

Test Data Generation ◽

Data Generation ◽

Automatic Test ◽

Automatic Test Data Generation

Download Full-text

Test Data Generation for Complex Data Types Using Imprecise Model Constraints and Constraint Solving Techniques

Information Technology And Control ◽

10.5755/j01.itc.42.2.1855 ◽

2013 ◽

Vol 42 (2) ◽

Author(s):

Sarunas Packevicius ◽

Greta Krivickaite ◽

Dominykas Barisas ◽

Robertas Jasaitis ◽

Tomas Blazauskas ◽

...

Keyword(s):

Test Data ◽

Constraint Solving ◽

Complex Data ◽

Test Data Generation ◽

Data Generation ◽

Download Full-text

Automatic test data generation using constraint solving techniques

ACM SIGSOFT Software Engineering Notes ◽

10.1145/271775.271790 ◽

1998 ◽

Vol 23 (2) ◽

pp. 53-62 ◽

Author(s):

Arnaud Gotlieb ◽

Bernard Botella ◽

Michel Rueher

Keyword(s):

Test Data ◽

Constraint Solving ◽

Test Data Generation ◽

Data Generation ◽

Automatic Test ◽

Automatic Test Data Generation

Download Full-text

Application of modified differential evolution in test data generation

Journal of Computer Applications ◽

10.3724/sp.j.1087.2009.01722 ◽

2009 ◽

Vol 29 (6) ◽

pp. 1722-1724

Author(s):

Xiao-cheng HUANG ◽

Xi-wu WANG ◽

Dong-sheng CHANG ◽

Gang HE

Keyword(s):

Differential Evolution ◽

Test Data ◽

Test Data Generation ◽

Data Generation

Download Full-text

Genetic Algorithm Based Test Data Generation for Structured Software Testing

Journal of the Association of Engineers India ◽

10.22485/jaei/2015/v85/i3-4/119867 ◽

2015 ◽

Vol 85 (3-4) ◽

pp. 52

Author(s):

Subhasis Mallick ◽

Dipankar Majumdar

Keyword(s):

Genetic Algorithm ◽

Software Testing ◽

Test Data ◽

Test Data Generation ◽

Data Generation

Download Full-text

Scalability analysis of grammatical evolution based test data generation

Proceedings of the 2020 Genetic and Evolutionary Computation Conference ◽

10.1145/3377930.3390167 ◽

2020 ◽

Author(s):

Muhammad Sheraz Anjum ◽

Conor Ryan

Keyword(s):

Test Data ◽

Grammatical Evolution ◽

Test Data Generation ◽

Data Generation ◽

Scalability Analysis

Download Full-text

An integrated automatic test data generation system

Journal of Systems Integration ◽

10.1007/bf02262722 ◽

1991 ◽

Vol 1 (3-4) ◽

pp. 391-409 ◽

Author(s):

A. Jefferson Offutt

Keyword(s):

Test Data ◽

Test Data Generation ◽

Data Generation ◽

Generation System ◽

Automatic Test ◽

Automatic Test Data Generation

Download Full-text

A Multi-Objective Genetic Algorithm to Test Data Generation

2010 22nd IEEE International Conference on Tools with Artificial Intelligence ◽

10.1109/ictai.2010.26 ◽

2010 ◽

Author(s):

Gustavo H.L. Pinto ◽

Silvia R. Vergilio

Keyword(s):

Genetic Algorithm ◽

Test Data ◽

Test Data Generation ◽

Data Generation ◽

Multi Objective ◽

Multi Objective Genetic Algorithm

Download Full-text

Enhancing path-oriented test data generation using adaptive random testing techniques

2015 2nd International Conference on Knowledge-Based Engineering and Innovation (KBEI) ◽

10.1109/kbei.2015.7436097 ◽

2015 ◽

Author(s):

Esmaeel Nikravan ◽

Farid Feyzi ◽

Saeed Parsa

Keyword(s):

Test Data ◽

Random Testing ◽

Test Data Generation ◽

Data Generation ◽

Adaptive Random Testing ◽

Testing Techniques

Download Full-text