Login / Signup
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