Return to Article Details Civilizing Efficiency of Automated Software Testing