• 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

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.