This book provides a detailed assessment of the state of the art in automated techniques for the ...