Mercedes G. Merayo

Yaofeng Zhang

Proceedings of the Intelligent Information and Database Systems, 2010

2009

Mutation testing from probabilistic and stochastic finite state machines.

[BibT_eX]

[DOI]

J. Syst. Softw., 2009

Testing from a stochastic timed system with a fault model.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008.

[BibT_eX]

[DOI]

Lars Frantzen

J. Log. Algebraic Methods Program., 2009

Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems.

[BibT_eX]

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quality Software, 2009

Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

Formal Correctness of a Passive Testing Approach for Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Passive Testing of Stochastic Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Advantages of Mutation in Passive Testing: An Empirical Study.

[BibT_eX]

[DOI]

Carlos Molinero

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

A Statistical Approach to Test Stochastic and Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

Analysis of the OLSR Protocol by Using Formal Passive Testing.

[BibT_eX]

[DOI]

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2008

HOTL: Hypotheses and observations testing logic.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2008

Formal testing from timed finite state machines.

[BibT_eX]

[DOI]

Comput. Networks, 2008

Extending Stream X-Machines to Specify and Test Systems with Timeouts.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

THOTL: A Timed Extension of HOTL.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2008

Implementation Relations for the Distributed Test Architecture.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2008

Derivation of Tests from Timed Specifications According to Different Coverage Criteria.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Systems, 2008

Formal Development of a Complex Information System.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Systems, 2008

Controllable Test Cases for the Distributed Test Architecture.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2008

Passive Testing of Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Generation of optimal finite test suites for timed systems.

[BibT_eX]

[DOI]

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Testing conformance on Stochastic Stream X-Machines.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Formal Specification of Multi-agent Systems by Using EUSMs.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Formal Testing of Systems Presenting Soft and Hard Deadlines.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Testing Finite State Machines Presenting Stochastic Time and Timeouts.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

A Brief Introduction to <i>THOTL</i>.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2006

Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Implementation Relations for Stochastic Finite State Machines.

[BibT_eX]

[DOI]