Static Code Analysis Using Refinement Types based on Design by Contract.

Koji Ishii Shin-ya Nishizaki

Published in: ICSCA (2020)

Keyphrases

dynamic analysis
website
data analysis
image analysis
statistical analysis
quantitative analysis
data sets
genetic algorithm
web services
case study
knowledge based systems
computer aided
design principles
engineering design