Alarcos Research Group

Website on testing research

Contact person:



            testooj: a tool for test case generation, test case execution, test suite reduction and n-order mutation


            Bacterio: a tool for mutation testing of Java applications



Experimental stuff



  • Experimental stuff corresponding to the article: Macario Polo, Mario Piattini and Ignacio García-Rodríguez. Decreasing the cost of mutation testing with second-order mutants. Software Testing, Verification and Reliability, 19(2), 111-131, 2008.


  • Sudoku Solver. A program which helps the user to solve sudokus.


  • Remote sudokus. A client-server system to collaboratively play and solve sudokus. Download the client and the server.