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.
This course is part of the Software Testing and Automation Specialization
Offered By
About this Course
IDE installed (e.g., Eclipse). Familiar with testing terminology and practice (see previous courses in specialization).
Could your company benefit from training employees on in-demand skills?
Try Coursera for BusinessSkills you will gain
- Software Testing
- Formal Verification
- Test Automation
IDE installed (e.g., Eclipse). Familiar with testing terminology and practice (see previous courses in specialization).
Could your company benefit from training employees on in-demand skills?
Try Coursera for BusinessOffered by
Syllabus - What you will learn from this course
Introduction to Automated Analysis
Automated Test Generation
Static Analysis
Effective Automated Verification
Reviews
- 5 stars54.38%
- 4 stars24.56%
- 3 stars12.28%
- 2 stars5.26%
- 1 star3.50%
TOP REVIEWS FROM INTRODUCTION TO AUTOMATED ANALYSIS
Muy bueno!, seria interesante ver mas demostraciones con herramientas.
Really this is course was too much challenging and resourceful.
About the Software Testing and Automation Specialization

Frequently Asked Questions
When will I have access to the lectures and assignments?
What will I get if I subscribe to this Specialization?
Is financial aid available?
More questions? Visit the Learner Help Center.