Archive testing March 2022 - #1 Testing is bad… formal-methods March 2022 - #1 Testing is bad… abstraction April 2022 - #2 Size matters… specially when talking about interfaces interface April 2022 - #2 Size matters… specially when talking about interfaces