Items where authors include "Nunez, M."

Article

Ibias, A., Nunez, M. and Hierons, R.M. orcid.org/0000-0002-4771-1446 (2021) Using mutual information to test from finite state machines: test suite selection. Information and Software Technology, 132. 106498. ISSN 0950-5849

Nunez, A., Canizares, P., Nunez, M. et al. (1 more author) (2021) TEA-Cloud: A formal framework for testing cloud computing system. IEEE Transactions on Reliability, 70 (1). pp. 261-284. ISSN 0018-9529

Lefticaru, R., Hierons, R. orcid.org/0000-0002-4771-1446 and Nunez, M. (2020) Implementation relations and testing for cyclic systems with refusals and discrete time. Journal of Systems and Software, 170. 110738. ISSN 0164-1212

Merayo, M.G., Hierons, R.M. orcid.org/0000-0002-4771-1446 and Nunez, M. (2018) A tool supported methodology to passively test asynchronous systems with multiple users. Information and Software Technology, 104. pp. 162-178. ISSN 0950-5849

Merayo, M.G., Hierons, R.M. orcid.org/0000-0002-4771-1446 and Nunez, M. (2018) Passive testing with asynchronous communications and timestamps. Distributed Computing, 31 (5). pp. 327-342. ISSN 0178-2770

Hierons, R.M. orcid.org/0000-0002-4771-1446, Merayo, M.G. and Nunez, M. (2018) Bounded reordering in the distributed test architecture. IEEE Transactions on Reliability, 67 (2). pp. 522-537. ISSN 0018-9529

Proceedings Paper

Lefticaru, R., Hierons, R. orcid.org/0000-0002-4771-1446 and Nunez, M. (2019) An implementation relation for cyclic systems with refusals and discrete time. In: Ölveczky, P.C. and Salaün, G., (eds.) Proceedings of of 17th International Conference on Software Engineering and Formal Methods. 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), 16-20 Sep 2019, Oslo, Norway. Lecture Notes in Computer Science (11724). Springer , pp. 393-409. ISBN 9783030304454