Tool-Assisted Loop Invariant Development and Analysis.

Caleb H. Priester Yu-Shan Sun Murali Sitaraman

Published in: CSEE&T (2016)

Keyphrases

statistical analysis
software engineering
quantitative analysis
data analysis
image registration
open source
knowledge based systems
design process