E Uzuncaova,
S Khurshid… - IEEE transactions on …, 2010 - ieeexplore.ieee.org
Recent advances in mechanical techniques for systematic testing have increased our ability
to automatically find subtle bugs, and hence, to deploy more dependable software. This …