Automated Test Case Generation for the Verification of System and High-Level Software Requirements for Fly-by-Wire Platforms

Mapping Intimacies ◽

10.2514/6.2022-0254 ◽

2022 ◽

Author(s):

Christian Block ◽

Serkan Dikmen ◽

Reinhard Reichel

Keyword(s):

Software Requirements ◽

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Automated Test ◽

Download Full-text

Automated test case generation from domain specific models of high-level requirements

Proceedings of the 2015 Conference on research in adaptive and convergent systems - RACS ◽

10.1145/2811411.2811555 ◽

2015 ◽

Author(s):

Oyindamola Olajubu ◽

Suraj Ajit ◽

Mark Johnson ◽

Scott Turner ◽

Scott Thomson ◽

...

Keyword(s):

Test Case Generation ◽

Test Case ◽

Domain Specific ◽

Automated Test Case Generation ◽

Automated Test ◽

Download Full-text

Automated test case generation from high-level logic requirements using model transformation techniques

2017 9th Computer Science and Electronic Engineering (CEEC) ◽

10.1109/ceec.2017.8101621 ◽

2017 ◽

Author(s):

Oyindamola Olajubu ◽

Suraj Ajit ◽

Mark Johnson ◽

Scott Thomson ◽

Mark Edwards ◽

...

Keyword(s):

Model Transformation ◽

Test Case Generation ◽

Test Case ◽

Transformation Techniques ◽

Automated Test Case Generation ◽

Automated Test ◽

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 ◽

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 ◽

Download Full-text

Automated Test Case Generation for Effective Spectrum-based Fault Localization

Journal of Physics Conference Series ◽

10.1088/1742-6596/1576/1/012042 ◽

2020 ◽

Vol 1576 ◽

pp. 012042

Author(s):

Bo Yang ◽

Yuze He ◽

Lixing Feng

Keyword(s):

Fault Localization ◽

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Download Full-text

Automated test case generation approach for PLC control software exception handling using fault injection

IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society ◽

10.1109/iecon.2011.6119280 ◽

2011 ◽

Author(s):

Benjamin Kormann ◽

Birgit Vogel-Heuser

Keyword(s):

Fault Injection ◽

Exception Handling ◽

Test Case Generation ◽

Test Case ◽

Control Software ◽

Plc Control ◽

Automated Test Case Generation ◽

Download Full-text

Automated Test Case Generation for Industrial Control Applications

Recent Advances in Robotics and Automation - Studies in Computational Intelligence ◽

10.1007/978-3-642-37387-9_20 ◽

2013 ◽

pp. 263-273 ◽

Author(s):

Reinhard Hametner ◽

Benjamin Kormann ◽

Birgit Vogel-Heuser ◽

Dietmar Winkler ◽

Alois Zoitl

Keyword(s):

Test Case Generation ◽

Test Case ◽

Industrial Control ◽

Control Applications ◽

Automated Test Case Generation ◽

Download Full-text

RESTful API Automated Test Case Generation

2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) ◽

10.1109/qrs.2017.11 ◽

2017 ◽

Author(s):

Andrea Arcuri

Keyword(s):

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Download Full-text

Applying Automated Test Case Generation in Industry: A Retrospective

2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2018.00074 ◽

2018 ◽

Author(s):

Rudolf Ramler ◽

Claus Klammer ◽

Georg Buchgeher

Keyword(s):

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Download Full-text

Automated test case generation for spreadsheets

Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 ◽

10.1145/581356.581359 ◽

2002 ◽

Author(s):

Marc Fisher ◽

Mingming Cao ◽

Gregg Rothermel ◽

Curtis R. Cook ◽

Margaret M. Burnett

Keyword(s):

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Download Full-text