Experiments with Test Case Generation and Runtime Analysis

Abstract State Machines 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-36498-6_5 ◽

2003 ◽

pp. 87-108 ◽

Cited By ~ 19

Author(s):

Cyrille Artho ◽

Doron Drusinksy ◽

Allen Goldberg ◽

Klaus Havelund ◽

Mike Lowry ◽

...

Keyword(s):

Runtime Analysis ◽

Test Case Generation ◽

Test Case

Download Full-text

Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance

Proceedings of the 2015 International Symposium on Software Testing and Analysis - ISSTA 2015 ◽

10.1145/2771783.2771804 ◽

2015 ◽

Cited By ~ 1

Author(s):

Marko Dimjašević ◽

Dimitra Giannakopoulou

Keyword(s):

Runtime Analysis ◽

Test Case Generation ◽

Test Case

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