EdX

Automated Software Testing: Model and State-based Testing (edX)

Automated Software Testing: Model and State-based Testing (edX)

Learn the advanced software testing techniques, tools, and best practices required to deliver high-quality software. Software testing gets a bad rap for being difficult, time-consuming, redundant, and above all - boring. But in fact, it is a proven way to ensure that your software will work flawlessly and can meet release schedules.

Class Deals by MOOC List - Click here and see EdX's Active Discounts, Deals, and Promo Codes.

In a two-course series, we will teach you automated software testing in an inspiring way. We will show you that testing is not as daunting a task as you might think, and how automated testing will make you a better developer who programs excellent software.
This second course builds upon the first course's material. It covers more advanced tools and techniques and their applications. Key topics include state-based and web testing, combinatorial testing, mutation testing, and property-based testing.
This is a highly practical course. Throughout the lessons, you will test various programs by means of different techniques. By the end, you will be able to choose the best testing strategies for different projects..
If you are or want to become a five-star software developer, QA engineer, or software tester, join this course. Testing will never be the same again!
This course is part of the Automated Software Testing Professional Certificate

What you'll learn

  • The key ideas behind advanced software testing techniques, such as mutation and property-based testing
  • The current state-of-the-art in software testing research, such as the usage of artificial intelligence to automate testing activities
  • The limitations of current testing techniques, and how todetermine the best testing strategies for a given context

Syllabus

Topic 1: Model-based testing and decision tables
Create decision tables to represent complex decisions of your software.
Apply different coverage criteria in the decision table to generate test cases.

Topic 2: Model-Based testing and state machines
Devise state machines that represent the software system (e.g., web systems) and use them to generate test cases.
Apply different coverage criteria to generate test cases that cover different paths of the system.

Topic 3: Self-testing
Understand what pre-conditions, post-conditions, and invariants are, and how to design them in your software system.
Use these contracts to test your software from the “inside out”
Write properties and let property-based testing frameworks generate test cases automatically.

Topic 4: Mutation testing
Understand the key ideas behind mutation testing.
Apply mutation testing in software systems and discover what parts of your software are not tested enough.

Go to Class
MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

Related Courses

Intellectual Humility: Theory (Coursera) Coursera
University of Edinburgh

Intellectual Humility: Theory (Coursera)

Faced with difficult questions people often tend to dismiss and marginalize dissent. Political and moral disagreements can be incredibly polarizing, and sometimes even dangerous. And whether it’s Christian fundamentalism, Islamic extremism, or militant atheism, religious dialogue remains tinted by arrogance, dogma, and ignorance. The world needs more people who are sensitive to reasons both for and against their beliefs, and are willing to consider the possibility that their political, religious and moral beliefs might be mistaken. The world needs more intellectual humility.

Aug 3rd 2026
3 Weeks
Implementing an SAP Solution (Coursera) Coursera
SAP

Implementing an SAP Solution (Coursera)

Implementing an SAP Solution is the fifth course in the SAP Technology Consultant Professional Certificate program. You’ll learn how to collaborate with stakeholders and other SAP professionals for key phases in the SAP Implementation lifecycle. You’ll explore how to build and prepare system and test environments for implementation and look at different types of testing. You’ll learn how to cleanse and anonymize test data, and use automation tools. You’ll look at SAP Best Practice Explorer and build your understanding of baseline configurations and integrations. You’ll learn how to document issues, bugs, and recommended fixes after testing. Plus, you’ll look at the process for going-live and getting sign off for a project.

Aug 3rd 2026
5-12 Weeks
Automated Software Testing: Unit Testing, Coverage Criteria and Design for Testability (edX) EdX
Delft University of Technology,DelftX

Automated Software Testing: Unit Testing, Coverage Criteria and Design for Testability (edX)

Learn the software testing techniques, tools, and best practices required to deliver high-quality software. Software testinggets a bad rap for being difficult, time-consuming, redundant, and above all - boring. But in fact, it is a proven way to ensure that your software will work flawlessly andcan meet release schedules.

Self Paced
Self-Paced
Writing, Running, and Fixing Code in C (Coursera) Coursera
Duke University

Writing, Running, and Fixing Code in C (Coursera)

Building on the course Programming Fundamentals, this course will teach you how to write code by first planning what your program should do—an important approach for novice and professional programmers. You will learn how to compile and run your program, and then how to test and debug it. This course builds on the Seven Steps you have already learned and provides a framework for systematically testing for problems and fixing them, so you can find and fix problems efficiently.

Jul 27th 2026
4 Weeks
Mobile Development and JavaScript (Coursera) Coursera
Meta

Mobile Development and JavaScript (Coursera)

This course is the first in a series that will allow you to expand your skills as an Android developer into the world of cross-platform mobile development. This will allow you to use your foundations as an Android developer to build cross-platform mobile applications. The first step in this expansion is learning to program in JavaScript. This will prepare you to learn to use the React library for mobile development.

Aug 3rd 2026
5-12 Weeks
Software Engineering: Implementation and Testing (Coursera) Coursera
The Hong Kong University of Science and Technology - HKUST

Software Engineering: Implementation and Testing (Coursera)

Software Development Life Cycle (SDLC) is the process of developing software through planning, requirement analysis, design, implementation, testing, and maintenance. This course focuses on the implementation and testing phases of SDLC, and you will examine different software development processes for large software systems development, and understand the strengths (pros) and weaknesses (cons) of different software development processes.

Aug 3rd 2026
5-12 Weeks
Software Testing for Developers (Coursera) Coursera
Codio

Software Testing for Developers (Coursera)

Code and run software tests websites without installing anything! This course is designed for learners who have some experience with JavaScript but a novice to software testing. The modules in this course covers the fundamentals of testing with Jest; popular testing paradigms like test-driven development, behavior-driven development, user accepting testing, etc.; and commonly used tools like JMeter, Postman, and Cucumber.

Aug 3rd 2026
3 Weeks
Introdução ao Teste de Software (Coursera) Coursera
Universidade de São Paulo, Brasil

Introdução ao Teste de Software (Coursera)

A necessidade das empresas em produzir software com qualidade tem aumentado a demanda por profissionais com conhecimentos e habilidades em Teste de Software. Entretanto, existe uma escassez de mão-de-obra especializada nesta área. Considerando essa lacuna, o curso de Introdução ao Teste de Software foi planejado para servir como um guia para pessoas que necessitam de uma fonte de consulta e/ou aprendizado na área.

Aug 10th 2026
5-12 Weeks
Data Analytics for Lean Six Sigma (Coursera) Coursera
University of Amsterdam

Data Analytics for Lean Six Sigma (Coursera)

Welcome to this course on Data Analytics for Lean Six Sigma. In this course you will learn data analytics techniques that are typically useful within Lean Six Sigma improvement projects. At the end of this course you are able to analyse and interpret data gathered within such a project. You will be able to use Minitab to analyse the data. I will also briefly explain what Lean Six Sigma is.

Aug 3rd 2026
5-12 Weeks