• Comparing metaheuristic algorithms for error detection in Java programs 

      Chicano, Francisco; Ferreira, Marco; Alba-Torres, Enrique (2015-09-07)
      Model checking is a fully automatic technique for checking concurrent software properties in which the states of a concurrent system are explored in an explicit or implicit way. The main drawback of this technique is the ...