Login / Signup

A framework for assume-guarantee regression verification of evolving software.

Hoang-Viet TranPham Ngoc HungViet-Ha NguyenToshiaki 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