A Formal Methodology to Specify Hierarchical Agent-Based Systems. - César Andrés; Carlos Molinero; Manuel Núñez 001 (SITIS, 2008)

A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. - César Andrés; Carlos Molinero; Manuel Núñez 001 (ICCS (1), 2009)

Advantages of Mutation in Passive Testing: An Empirical Study. - César Andrés; Mercedes G. Merayo; Carlos Molinero (ICST Workshops, 2009)

Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. - Carlos Molinero; Manuel Núñez 001; César Andrés (IWANN (1), 2009)

Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM. - Carlos Molinero; Manuel Núñez 001; Robert M. Hierons (ALIFE, 2011)

Experimental Comparison of Different Techniques to Generate Adaptive Sequences. - Carlos Molinero; Manuel Núñez 001; Robert M. Hierons (IWANN (2), 2011)

The Fractured Nature of British Politics. - Carlos Molinero; Elsa Arcaute; Duncan Smith; Michael Batty (CoRR, 2015)