../
Assertion-based design
Related
Persistent Notes
This book was cited in vasudevanGoldMineAutomaticAssertion2010. I can’t seem to find the passage that indicates anything relating to concise assertions taking man-months. In fact you can see the red highlight below where they saw that assertions don’t even take up time.
In-text annotations
“Where am I going to find time to write assertions? I don’t even have time to write comments in my code!" Page 31
The authors say that it doesn’t even take a long time. I have no idea why GoldMine cites this? Page 31
“Designers shouldn’t check their own code. Hence, adding assertions violates this rule." Page 33
%% Import Date: 2026-06-11T12:05:47.969-04:00 %%