Pedro Reales Mateo, Macario Polo Usaola. Automated test generation for multi-state systems. In Christian Blum, Enrique Alba, editors, Genetic and Evolutionary Computation Conference, GECCO '13, Amsterdam, The Netherlands, July 6-10, 2013, Companion Material Proceedings. pages 211-212, ACM, 2013. [doi]
Abstract is missing.