Tag "Masked Software Bugs"

back to homepage

Software Bug Averting Technologies

Formal methods are effective tools in preventing the ingress of bugs into the software system. Formal specifications define an unambiguous set of specifications so that the customer requirements and the

Read More

Latent and Masked Software Bugs: What’s the Difference?

Note: the article was updated in October 2018 Bugs can attack your software at any time especially when you do not expect to meet them. Some software defects are not

Read More