C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
The Integration of Testing and Program Verification - A Position Paper.
Petra van den Bos
Marieke Huisman
Published in:
A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Keyphrases
</>
future directions
real time
databases
search engine
data integration
fully integrated
neural network
information systems
decision making
case study
database systems
test set
test cases
software testing