Publications of Manuel Núñez

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author’s copyright. These works may not be reposted without the explicit permission of the copyright holder.

This file includes bib entries, sorted by year of publication, for all these papers.

Journal Publications

2019

2018

2017

2015

2014

2013

2012

2011

2009

2008

2007

2006

2005

2004

2003

1998

Publications in refereed conferences and workshops

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

  • Manuel Núñez. An Axiomatization of Probabilistic Testing. 5th AMAST Workshop on Real-Time and Probabilistic Systems, ARTS’99, LNCS 1601, pages: 130-150, Springer.
  • Manuel Núñez, David Rupérez. Fair Testing through Probabilistic Testing. 19th Joint Int. Conf. on Protocol Specification, Testing, and Verification and Formal Description Techniques, FORTE/PSTV’99, pages: 135-150, Kluwer Academic Publishers.
  • David de Frutos-Escrig, Natalia López, Manuel Núñez. Global Timed Bisimulation: An Introduction. 19th Joint Int. Conf. on Protocol Specification, Testing, and Verification and Formal Description Techniques, FORTE/PSTV’99, pages: 401-416, Kluwer Academic Publishers.

1998

1997

  • Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza. Testing Semantics for a Probabilistic-Timed Process Algebra. 4th International AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software, ARTS’97, LNCS 1231, pages: 353-367, Springer.
  • Luis Fernando Llana Díaz, Manuel Núñez. Testing Semantics for Unbounded Nondeterminism. 3rd European Conf. on Parallel Processing, Europar’97, LNCS 1300, pages: 538-545, Springer.
  • David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez. Friendly Testing as a Conformance Relation. 17th Joint Int. Conf. on Protocol Specification, Testing, and Verification and Formal Description Techniques, FORTE/PSTV’97, pages: 283-298, Chapman & Hall.

1996

1995

Chapters

2016

2010

  • Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Mutation Testing. Encyclopedia of Software Engineering, pages: 594-602, Taylor & Francis.

2009

2004