|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | César Andrés, Luis Llana, Manuel Núñez |
Self-adaptive fuzzy-timed systems.  |
IEEE Congress on Evolutionary Computation  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, María-Emilia Cambronero, Manuel Núñez |
Passive Testing of Web Services. |
WS-FM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Manuel Núñez, Yaofeng Zhang |
From Data Mining to User Models in Evolutionary Databases. |
ACIIDS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Mercedes G. Merayo, Yaofeng Zhang |
MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. |
ACIIDS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, María-Emilia Cambronero, Manuel Núñez |
Formal Passive Testing of Service-Oriented Systems. |
IEEE SCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Mercedes G. Merayo, Manuel Núñez |
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Mercedes G. Merayo, Manuel Núñez |
Passive Testing of Stochastic Timed Systems. |
ICST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez |
Analysis of the OLSR Protocol by Using Formal Passive Testing. |
APSEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Mercedes G. Merayo, Manuel Núñez |
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Carlos Molinero, Manuel Núñez |
A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. |
ICCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | César Andrés, Mercedes G. Merayo, Manuel Núñez |
Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic formal models, Formal methods, Passive testing |
| 1 | Carlos Molinero, Manuel Núñez, César Andrés |
Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Ismael Rodríguez, Fernando Rubio |
Formally Testing Liveness by Means of Compression Rates. |
PPSN |
2008 |
DBLP DOI BibTeX RDF |
Artificial Life, Compression Algorithms, Maximum Entropy Principle |
| 1 | César Andrés, Mercedes G. Merayo, Manuel Núñez |
Formal Development of a Complex Information System. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Manuel Núñez |
ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP DOI BibTeX RDF |
|
| 1 | César Andrés, Mercedes G. Merayo, Manuel Núñez |
Passive Testing of Timed Systems. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")