Yuan Zhan, John A. Clark. The state problem for test generation in Simulink. In Mike Cattolico, editor, Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006. pages 1941-1948, ACM, 2006. [doi]
Abstract is missing.