Reasoning over Test Specifications Using Assume-Guarantee Contracts.

Apurva Badithela Josefine B. Graebener Inigo Incer Richard M. Murray

Published in: NFM (2023)

Keyphrases

supply chain
knowledge base
test data
delay insensitive
reasoning systems
control flow
knowledge representation
spatial reasoning
test cases
statistical significance
programming language
formal models
real time
natural language
website
artificial intelligence
genetic algorithm