• Search based algorithms for test sequence generation in functional testing 

      Ferrer, Javier; Kruse, Peter M.; Chicano, Francisco; Alba-Torres, Enrique (2014-10-03)
      The generation of dynamic test sequences from a formal specification, complementing traditional testing methods in order to find errors in the source code. Objective In this paper we extend one specific combinatorial ...