Property Based Testing. Properties, Random Tests. Junit QuickCheck: Type generators, Shrinking. Specifications as properties.

13 Abril 2026, 15:00 • Alcides Fonseca

Property Based Testing. Properties, Random Tests. Junit QuickCheck: Type generators, Shrinking. Specifications as properties.

---

Property Based Testing. Properties, Random Tests. Junit QuickCheck: Type generators, Shrinking. Specifications as properties.

13 Abril 2026, 13:00 • Alcides Fonseca

Property Based Testing. Properties, Random Tests. Junit QuickCheck: Type generators, Shrinking. Specifications as properties.

---

Syntax-based test coverage. Program mutation testing. Mutation operations. Relationship with RIP model. Tool for mutation testing: PIT.

31 Março 2026, 10:30 • Alcides Fonseca

Syntax-based test coverage. Program mutation testing. Mutation operations. Relationship with RIP model. Tool for mutation testing: PIT.

---

Syntax-based test coverage. Program mutation testing. Mutation operations. Relationship with RIP model. Tool for mutation testing: PIT.

30 Março 2026, 15:00 • Alcides Fonseca

Syntax-based test coverage. Program mutation testing. Mutation operations. Relationship with RIP model. Tool for mutation testing: PIT.

---

Syntax-based test coverage. Program mutation testing. Mutation operations. Relationship with RIP model. Tool for mutation testing: PIT.

30 Março 2026, 13:00 • Alcides Fonseca

Syntax-based test coverage. Program mutation testing. Mutation operations. Relationship with RIP model. Tool for mutation testing: PIT.

---