Stefan Mankefors-Christiernin Andreas Boklund Random Testing Automatization - Efficiency Optimization using the Integral Formulation. 150-155 2005 conf/iastedSE/2005 IASTED Conf. on Software Engineering db/conf/iastedSE/se2005.html#Mankefors-ChristierninB05