specification

What do we call unintended uses of a program?

I'm diving into the topic of program correctness and its nuances, especially regarding how software can behave in ways that aren't covered by its specifications. For instance, if…