About this courseSkip About this course
Want to gain software quality skills used in mission critical systems?
Modeling checking, symbolic execution and formal methods are techniques that are used for mission critical systems where human life depends upon the system working correctly.
In this course, part of the Software Testing and Verification MicroMasters program, you will learn how to perform these techniques.
The concepts from this course can be applied to any programming language and testing software.
This course is part of the Software Testing and Verification MicroMaster’s program from UMGC. Upon completion of the program and receipt of the verified MicroMaster’s certificate, learners may then transition into the full UMGC Master’s Program in Information Technology with a specialization in Software Engineering without any application process or testing. See the MicroMasters program page for more.
What you'll learnSkip What you'll learn
- Use Model Checking to evaluate software quality through model generation
- Use Symbolic Execution to evaluate software for defects
- Use Formal Methods to create proofs of software implementations
Meet your instructors
Pursue a Verified Certificate to highlight the knowledge and skills you gain$249 USD
Official and Verified
Receive an instructor-signed certificate with the institution's logo to verify your achievement and increase your job prospects
Add the certificate to your CV or resume, or post it directly on LinkedIn
Give yourself an additional incentive to complete the course
Support our Mission
edX, a non-profit, relies on verified certificates to help fund free education for everyone globally
Frequently asked questions
Thank you for your interest in the MicroMasters Program in Software Testing and Verification. Please note that this program is being discontinued. No courses will be offered after December 2020. The schedule for the final offering of each course in this program is provided below. In order to transfer these courses to UMGC, you will need to purchase the Verified Certificate, complete, and pass all 3 courses. We apologize for any inconvenience this may cause.
- Software Testing Fundamentals - 7/14/20 - 9/8/20
- Software Testing Management - 9/22/20 - 11/17/20
- Formal Software Verification - 12/1/20 - 1/26/21
How long does a student have to apply to and complete the full UMGC degree?
To ensure that your program remains relevant and up-to-date, UMGC sets time limits for completing a program. Students have five (5) consecutive years from the start of the graduate degree to complete their degree. For students who start with a MicroMasters program, their “time clock” begins on the date that they complete their last course in the MicroMasters program and receive their Verified Certificate. This means that students should apply to UMGC promptly to begin the degree and have as much time as possible to complete it.
Who can take this course?
Unfortunately, learners from one or more of the following countries or regions will not be able to register for this course: Iran, Cuba and the Crimea region of Ukraine. While edX has sought licenses from the U.S. Office of Foreign Assets Control (OFAC) to offer our courses to learners in these countries and regions, the licenses we have received are not broad enough to allow us to offer this course in all locations. edX truly regrets that U.S. sanctions prevent us from offering all of our courses to everyone, no matter where they live.