Are the things Ballista finds really bugs?
Generally a “bug” is considered to be a software defect resulting in the behavior of a program differing from what is in the requirements specification. (Unfortunately, IEEE Std 610.12 doesn’t help much with this area of terminology.) Whether what Ballista finds is really a “bug” depends on several factors discussed below. The short version of the answer is that Ballista may or may not be finding “bugs” depending on your philosophical bent. But, what it is finding are what we call “robustness failures,” which are problems that cause the software to be non-robust (which is not necessarily the same as being defect-free).
