This is the authors' abstract. We don't add key points for this paper.
Much of the increase in the size of software applications is unnecessary. The history of the tiny Unix /bin/true command illustrates this growth.
Answers are grounded in this paper and cite their sources.
No takes yet. Share an insight, caveat, or question.
Gerard J. Holzmann (2015) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: