Combining solution reuse and bound tightening for efficient analysis of evolving systems.

Clay Stevens Hamid Bagheri

Published in: ISSTA (2022)

Keyphrases

expert systems
complex systems
knowledge base
upper bound
computer systems
information systems
cost effective
database
artificial intelligence
image sequences
management system
simulated annealing
mathematical model
quantitative analysis