Login / Signup
A framework for assume-guarantee regression verification of evolving software.
Hoang-Viet Tran
Pham Ngoc Hung
Viet-Ha Nguyen
Toshiaki Aoki
Published in:
Sci. Comput. Program. (2020)
Keyphrases
</>
main contribution
artificial intelligence
case study
software systems
real time
data sets
learning algorithm
artificial neural networks
model checking
software architecture
regression problems