Proving Properties of Operation Contracts with Test Scenarios.

Martin Gogolla Lars Hamann

Published in: TAP (2023)

Keyphrases

desirable properties
real world
real time
databases
genetic algorithm
search engine
social networks
knowledge base
reinforcement learning