Boolean Function Automated Software Testing