Software Testing: Theory and Practice (Part 2) - Software Testing and Logical Expressions
Key Takeaways
The conditions we need to check when testing functional programs can be expressed as logical formulae.
Make it a habit to think about specifications and software tests in terms...