Sign in
Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering.
Raluca Lefticaru
Savas Konur
Ünal Yildirim
Amad Uddin
Felician Campean
Marian Gheorghe
Published in:
iThings/GreenCom/CPSCom/SmartData (2017)
Keyphrases
</>
model based testing
test cases
software development
software engineering
model checking
security policies
software design
test generation
machine learning
artificial intelligence
real world
information systems
feature selection
intrusion detection
design process
software systems