|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 6 keywords
|
|
|
|
|
Results
Found 40 publication records. Showing 40 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Implementation relations and test generation for systems with distributed interfaces.  |
Distributed Computing  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons |
Testing timed systems modeled by Stream X-machines. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Scenarios-based testing of systems with distributed ports. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo (eds.) |
Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. |
QSIC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez |
A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. |
IWANN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Mutation Testing. |
Encyclopedia of Software Engineering |
2010 |
DBLP 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, Mercedes G. Merayo, Manuel Núñez |
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Scenarios-Based Testing of Systems with Distributed Ports. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Frantzen, Mercedes G. Merayo, Manuel Núñez |
A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Testing from a stochastic timed system with a fault model. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo |
Mutation testing from probabilistic and stochastic finite state machines. |
Journal of Systems and Software |
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 | Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli |
A Statistical Approach to Test Stochastic and Probabilistic Systems. |
ICFEM |
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 | Manuel Núñez, Paul Baker, Mercedes G. Merayo (eds.) |
Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings |
TestCom/FATES |
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 | Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez |
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez |
HOTL: Hypotheses and observations testing logic. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
Formal methods, Testing and Debugging, Specification techniques |
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Formal testing from timed finite state machines. |
Computer Networks |
2008 |
DBLP DOI BibTeX RDF |
|
| 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 | Mercedes G. Merayo, Manuel Núñez |
Derivation of Tests from Timed Specifications According to Different Coverage Criteria. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez |
Extending Stream X-Machines to Specify and Test Systems with Timeouts. |
SEFM |
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 |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Controllable Test Cases for the Distributed Test Architecture. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Implementation Relations for the Distributed Test Architecture. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
THOTL: A Timed Extension of HOTL. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez |
Testing conformance on Stochastic Stream X-Machines. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Formal Specification of Multi-agent Systems by Using EUSMs. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
Formal specification of multi-agent systems, e-commerce, autonomous agents |
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Formal Testing of Systems Presenting Soft and Hard Deadlines. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
A Brief Introduction to THOTL. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Generation of optimal finite test suites for timed systems. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Testing Finite State Machines Presenting Stochastic Time and Timeouts. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez |
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. |
TestCom |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
Implementation Relations for Stochastic Finite State Machines. |
EPEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Maria L. Pelayo, Mercedes G. Merayo |
How does the memory work? By timed-arc Petri nets. |
IEEE ICCI |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #40 of 40 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")