Unit Verification Effects on Reused Components in Sequential Project Releases.

Tihana Galinac Grbac Per Runeson Darko Huljenic

Published in: SEAA (2017)

Keyphrases

software projects
project management
model checking
failure modes
machine learning
software development
formal verification
functional verification
data sets
website
data structure
digital libraries
south african
european project
verification method