Sign in

Proving Properties of Operation Contracts with Test Scenarios.

Martin GogollaLars Hamann
Published in: TAP (2023)
Keyphrases
  • desirable properties
  • real world
  • real time
  • databases
  • genetic algorithm
  • search engine
  • social networks
  • knowledge base
  • reinforcement learning