../

Assertion-based design


Year
2004
Authors
Harry Foster, Harry D. Foster, Adam Krolnik, David J. Lacey
DOI

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

%% Import Date: 2026-06-05T16:15:49.071-04:00 %%