Introduction to Automated Analysis Course
by Coursera
Learn automated analysis techniques for software testing and formal verification. Detect defects like race conditions and overflows with University of
Why this course
- Comprehensive coverage of both automated testing and formal verification methods
- Teaches practical detection of critical software defects like race conditions and buffer overflows
- Developed by a reputable computer science institution with research expertise
- Builds foundational knowledge applicable to high-assurance software systems
