An automated technique to support the verification and validation of simulation models. - Samuel K. Klock; Peter Kemper (DSN, 2010)