Sign in
Search-Based Software Testing for Formal Software Verification - and Vice Versa.
Shiva Nejati
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