A Framework for Guided Test Case Generation in Constraint Logic Programming

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38197-3_12 ◽

2013 ◽

pp. 176-193 ◽

Author(s):

José Miguel Rojas ◽

Miguel Gómez-Zamalloa

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Test Case Generation ◽

Download Full-text

Applying Constraint Logic Programming to SQL Test Case Generation

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12251-4_15 ◽

2010 ◽

pp. 191-206 ◽

Author(s):

Rafael Caballero ◽

Yolanda García-Ruiz ◽

Fernando Sáenz-Pérez

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Test Case Generation ◽

Download Full-text

Preamble computation in automated test case generation using constraint logic programming

Software Testing Verification and Reliability ◽

10.1002/stvr.300 ◽

2004 ◽

Vol 14 (3) ◽

pp. 213-235 ◽

Author(s):

Séverine Colin ◽

Bruno Legeard ◽

Fabien Peureux

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Download Full-text

Automatic black-box method-level test case generation based on constraint logic programming

2010 International Computer Symposium (ICS2010) ◽

10.1109/compsym.2010.5685369 ◽

2010 ◽

Author(s):

Yi-Tin Hu ◽

Nai-Wei Lin

Keyword(s):

Logic Programming ◽

Black Box ◽

Constraint Logic Programming ◽

Test Case Generation ◽

Test Case ◽

Download Full-text

Constraint Logic Programming Using ECLiPSe

10.1017/cbo9780511607400 ◽

2006 ◽

Author(s):

Krzysztof R. Apt ◽

Mark Wallace

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

QOS-Aware Composition of Enterprise System‘s Components: Constraint Logic Programming Approach

Informatica ◽

10.15388/informatica.2010.301 ◽

2010 ◽

Vol 21 (4) ◽

pp. 487-504 ◽

Author(s):

Jeremy Besson ◽

Albertas Čaplinskas

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Programming Approach

Download Full-text

Slicing based on UML Diagram and Test Case Generation

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v7i9.95101 ◽

2019 ◽

Vol 7 (9) ◽

pp. 95-101

Author(s):

Venus Grover ◽

Jitender Kumar

Keyword(s):

Test Case Generation ◽

Download Full-text

Model Driven Testing based on Functional Test Case Generation with Redundancy Check

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v7i2.10161019 ◽

2019 ◽

Vol 7 (2) ◽

pp. 1016-1019

Author(s):

Aadil Farooq ◽

Promod Jadhav ◽

S.D.Joshi .

Keyword(s):

Functional Test ◽

Test Case Generation ◽

Test Case ◽

Model Driven ◽

Model Driven Testing

Download Full-text

Test case generation for path coverage. (c2000)

10.26756/th.2000.9 ◽

2000 ◽

Author(s):

Miran Salame

Keyword(s):

Test Case Generation ◽

Test Case ◽

Download Full-text

Test Case Generation Using Progressively Refined Genetic Algorithm for Ajax Web Application Testing

Recent Patents on Computer Science ◽

10.2174/2213275911666181004142946 ◽

2018 ◽

Vol 11 (4) ◽

pp. 276-288

Author(s):

Anuja Arora

Keyword(s):

Genetic Algorithm ◽

Web Application ◽

Test Case Generation ◽

Test Case ◽

Web Application Testing

Download Full-text

Test case generation and reduction by automated input-output analysis

SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483) ◽

10.1109/icsmc.2003.1243907 ◽

2004 ◽

Author(s):

P. Saraph ◽

M. Last ◽

A. Kandel

Keyword(s):

Test Case Generation ◽

Test Case ◽

Input Output ◽

Output Analysis ◽

Input Output Analysis

Download Full-text