Search-Based Software Testing for Formal Software Verification - and Vice Versa.

Published in: SSBSE (2020)

Keyphrases

search based software testing
software engineering
formal model
formal specification
formal methods
mathematical theory
social networks
image processing
object recognition
data model
object oriented
operational semantics
formal representation
formal language