Login / Signup
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems.
Roopak Sinha
Cheng Pang
Gerardo Santillán Martínez
Juha Kuronen
Valeriy Vyatkin
Published in:
CoRR (2021)
Keyphrases
</>
test case generation
cyber physical systems
cyber physical
software testing
object oriented systems
test cases
physical world
cyber security
java programs
low cost
formal specification
database
software engineering
test data generation
training set
data analysis
information systems