A formal methodology to specify hierarchical agent-based systems

[SITIS 2008]

C. Andres/C. Molinero/M. Núñez

A formal approach to the specification of hierarchical multi-agent systems.

[MASTER THESIS]

C. Molinero

A hierarchical methodology to specify and simulate complex computational systems

[ICCS 2009]

C. Andres/C. Molinero/M. Núñez

Combining genetic algorithms and mutation testing to generate test sequences.

[IWANN 2009]

C. Molinero/C. Andres/M. Núñez

Advantages of mutation in passive testing: An empirical study

[ICSTW 2009]

C. Ándres/M.G. Merayo/C. Molinero

A formal methodology to specify hierarchical agent-based systems [BOOK CHAPTER]

[Web-Based Information Technologies and Distributed Systems]

C. Molinero/C. Ándres/M. Núñez

Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM

[ALIFE 2011]

C. Molinero/M. Núñez/R.M. Hierons

Experimental Comparison of Different Techniques to Generate Adaptive Sequences

[IWANN 2011]

C. Molinero/M. Núñez/R.M. Hierons