Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems

Sinha, Roopak; Pang, C; Martinez, GS; Kuronen, J; Vyatkin, V

Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems

conference contribution

posted on 2024-06-03, 02:56 authored by Roopak SinhaRoopak Sinha, C Pang, GS Martinez, J Kuronen, V Vyatkin

Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems

History

Volume

2016-January

Pagination

198-201

Location

Gold Coast, QLD.

Start date

2015-12-09

End date

2015-12-11

ISSN

2770-8527

eISSN

2770-8535

ISBN-13

9781467385817

Language

eng

Publication classification

E1.1 Full written paper - refereed

Title of proceedings

ICECCS 2015 : Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems 2015

Event

Engineering of Complex Computer Systems. Conference (2015 : Gold Coast, QLD.)

Publisher

IEEE

Place of publication

Piscataway, NJ.

Series

IEEE International Conference on Engineering of Complex Computer Systems-ICECCS

Publication URL

http://dx.doi.org/10.1109/iceccs.2015.32

Usage metrics

Keywords

CESAR Computer Science Computer Science, Information Systems Computer Science, Theory & Methods Engineering Engineering, Electrical & Electronic model-based testing model-driven engineering ontologies requirements Science & Technology Technology test case generation

Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems

History

Volume

Pagination

Location

Start date

End date

ISSN

eISSN

ISBN-13

Language

Publication classification

Title of proceedings

Event

Publisher

Place of publication

Series

Publication URL

Usage metrics

Categories

Keywords

Licence

Exports