 | 2009 |
|---|
| 9 |       | César Andrés,
Carlos Molinero,
Manuel Núñez:
A Hierarchical Methodology to Specify and Simulate Complex Computational Systems.
ICCS (1) 2009: 347-356 |
| 8 | | Carlos Molinero,
Manuel Núñez,
César Andrés:
Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences.
IWANN (1) 2009: 343-350 |
| 7 |  | César Andrés,
Mercedes G. Merayo,
Manuel Núñez:
Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems.
SEKE 2009: 426-431 |
| 6 | | César Andrés,
Luis Fernando Llana Díaz,
Ismael Rodríguez:
Formally transforming user-model testing problems into implementer-model testing problems and viceversa.
J. Log. Algebr. Program. 78(6): 425-453 (2009) |
| 2008 |
|---|
| 5 | | César Andrés,
Mercedes G. Merayo,
Manuel Núñez:
Passive Testing of Timed Systems.
ATVA 2008: 418-427 |
| 4 | | César Andrés,
Mercedes G. Merayo,
Manuel Núñez:
Formal Development of a Complex Information System.
ICONS 2008: 118-123 |
| 3 | | César Andrés,
Manuel Núñez:
ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm.
ICONS 2008: 230-234 |
| 2 | | César Andrés,
Ismael Rodríguez,
Fernando Rubio:
Formally Testing Liveness by Means of Compression Rates.
PPSN 2008: 347-357 |
| 1 | | César Andrés,
Rafael G. Aranda,
Manuel Núñez:
Using formal methods to develop a complex information system: a practical/theoretical experience.
SAC 2008: 848-849 |
