Formal test-case generation for UML statecharts

Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2004.1310906 ◽

2004 ◽

Cited By ~ 15

Author(s):

S. Gnesi ◽

D. Latella ◽

M. Massink

Keyword(s):

Test Case Generation ◽

Test Case ◽

Formal Test

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 ◽

Test Case

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 ◽

Path Coverage

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 ◽

Cited By ~ 5

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

An Ontology-Based Approach to Automated Test Case Generation

SN Computer Science ◽

10.1007/s42979-020-00420-8 ◽

2021 ◽

Vol 2 (1) ◽

Author(s):

Shreya Banerjee ◽

Narayan C. Debnath ◽

Anirban Sarkar

Keyword(s):

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Automated Test

Download Full-text

Incorporating safety relevance and realistic parameter combinations in test-case generation for automated driving safety assessment

2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) ◽

10.1109/itsc45102.2020.9294724 ◽

2020 ◽

Author(s):

Silvia Thal ◽

Holger Znamiec ◽

Roman Henze ◽

Hiroki Nakamura ◽

Hisashi Imanaga ◽

...

Keyword(s):

Safety Assessment ◽

Driving Safety ◽

Test Case Generation ◽

Test Case ◽

Automated Driving ◽

Realistic Parameter

Download Full-text

Automated Test Case Generation Based on Differential Evolution with Node Branch Archive

Computers & Industrial Engineering ◽

10.1016/j.cie.2021.107290 ◽

2021 ◽

pp. 107290

Author(s):

Xiaohu Dai ◽

Wenyin Gong ◽

Qiong Gu

Keyword(s):

Differential Evolution ◽

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Automated Test

Download Full-text

Automatic Test Case Generation from Usage Information

2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC) ◽

10.1109/quatic.2018.00047 ◽

2018 ◽

Cited By ~ 3

Author(s):

Pedro Silva ◽

Ana C. R. Paiva ◽

Andre Restivo ◽

Jorge Esparteiro Garcia

Keyword(s):

Test Case Generation ◽

Test Case ◽

Automatic Test ◽

Automatic Test Case Generation

Download Full-text

Fuzzy Test Case Generation Method Based on CoGAN Industrial Network Protocol

2020 Chinese Automation Congress (CAC) ◽

10.1109/cac51589.2020.9327531 ◽

2020 ◽

Author(s):

Renliang Shen ◽

Jingqi Fu ◽

Mubai Yi

Keyword(s):

Network Protocol ◽

Test Case Generation ◽

Test Case ◽

Industrial Network

Download Full-text