Sumários

Não houve por reunião com a direcção

20 Abril 2026, 13:00 • Alcides Fonseca

Não houve por reunião com a direcção


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

14 Abril 2026, 10:30 • 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, 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.