Introduction to Automated Analysis
This course introduces state-of-the-art techniques for automated analysis. Automated analysis encompasses both approaches to automatically generate a very large number of tests to check whether programs meet requirements, and also means by which it is possible to *prove* that software meets requirements and that it is free from certain commonly-occurring defects, such as divide-by-zero, overflow/underflow, deadlock, race-condition freedom, buffer/array overflow, uncaught exceptions, and several other commonly-occurring bugs that can lead to program failures or security problems. The learner will become familiar with the fundamental theory and applications of such approaches, and apply a variety of automated analysis techniques on example programs.
Relations
Currently, no topics are attached.
supervised by University of Minnesota
The University of Minnesota is among the largest public research universities in the country, offerin...
Currently, no resources are attached.
Edit resource New resource
from 0 reviews
- Resource level 0.0 /10
- beginner intermediate advanced
- Resource clarity 0.0 /10
- hardly clear sometimes unclear perfectly clear
- Reviewer's background 0.0 /10
- none basics intermediate advanced expert