Introduction to Automated Analysis
This course is part of Software Testing and Automation.
This course cannot be purchased separately - to access the complete learning experience, graded assignments, and earn certificates, you'll need to enroll in the full Software Testing and Automation Specialization program. You can audit this specific course for free to explore the content, which includes access to course materials and lectures. This allows you to learn at your own pace without any financial commitment.
4.2
(76 ratings)
14,671 already enrolled
Instructors:
English
پښتو, বাংলা, اردو, 3 more
Powered by
What you'll learn
Implement automated verification techniques
Use symbolic analysis and random testing
Apply static analysis tools effectively
Design effective test automation strategies
Create executable test requirements
Skills you'll gain
This course includes:
4.6 Hours PreRecorded video
16 assignments
Access on Mobile, Tablet, Desktop
FullTime access
Shareable certificate
Get a Completion Certificate
Share your certificate with prospective employers and your professional network on LinkedIn.
Created by
Provided by
Top companies offer this course to their employees
Top companies provide this course to enhance their employees' skills, ensuring they excel in handling complex projects and drive organizational success.
There are 4 modules in this course
This comprehensive course covers state-of-the-art automated analysis techniques for software testing. Students learn about random testing, symbolic execution, static analysis, and model checking. The curriculum includes hands-on experience with testing tools, property specification, and automated test generation, preparing students for modern software verification practices.
Introduction to Automated Analysis
Module 1 · 6 Hours to complete
Automated Test Generation
Module 2 · 5 Hours to complete
Static Analysis
Module 3 · 4 Hours to complete
Effective Automated Verification
Module 4 · 2 Hours to complete
Fee Structure
Individual course purchase is not available - to enroll in this course with a certificate, you need to purchase the complete Professional Certificate Course. For enrollment and detailed fee structure, visit the following: Software Testing and Automation
Instructors
Director of Graduate Studies, Software Engineering
Kevin Wendt is a Teaching Specialist at the University of Minnesota - Twin Cities, where he serves as the Director of the Master of Science in Software Engineering (MSSE) program and oversees graduate teaching assistants in the Department of Computer Science and Engineering (CS&E). His teaching portfolio includes a wide range of courses, from graduate-level software engineering to introductory programming for non-majors.Before his tenure at the University of Minnesota, Wendt spent six years teaching at Dunwoody College of Technology, a century-old technical institution, and worked for five years as an applications programmer at Wells Fargo & Co. His extensive experience in both academia and industry informs his approach to software engineering education, emphasizing practical applications and real-world problem-solving.On Coursera, Dr. Wendt teaches several courses that focus on software testing and quality assurance, including Black-box and White-box Testing, Engineering Practices for Building Quality Software, Introduction to Automated Analysis, Introduction to Software Testing, Software Development Processes and Methodologies, and Web and Mobile Testing with Selenium. His courses are designed to equip students with essential skills for developing high-quality software in various environments.
Adjunct Professor
Mike Whalen is an adjunct faculty member at the University of Minnesota, associated with the Department of Computer Science and Engineering (CS&E). He specializes in software engineering and has contributed significantly to the field through both teaching and research. His courses include Black-box and White-box Testing and Introduction to Automated Analysis, which focus on essential testing methodologies in software development.With a strong background in formal methods and verification, Mike Whalen has worked extensively on projects related to safety-critical systems, particularly in avionics. His research interests include model checking, software testing, and requirements engineering, aimed at enhancing the reliability and safety of software systems.
Testimonials
Testimonials and success stories are a testament to the quality of this program and its impact on your career and learning journey. Be the first to help others make an informed decision by sharing your review of the course.
Frequently asked questions
Below are some of the most commonly asked questions about this course. We aim to provide clear and concise answers to help you better understand the course content, structure, and any other relevant information. If you have any additional questions or if your question is not listed here, please don't hesitate to reach out to our support team for further assistance.