Optimizing Test Input Generation for Reactive Systems with an Adaptive Differential Evolution.

Annamria Szenkovits, Nomi Gask, Hunor Jakab

Browse the full SYNASC paper archive.