Publicaciones en las que colabora con L. F. Llana (5)

2013

  1. A formal framework for software product lines

    Information and Software Technology, Vol. 55, Núm. 11, pp. 1925-1947

2011

  1. Compression strategies for passive testing

    Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011

  2. Message from WS-FMDS 2011 programme committee chairs

    Proceedings - International Conference on Quality Software

2009

  1. Formally transforming user-model testing problems into implementer-model testing problems and viceversa

    Journal of Logic and Algebraic Programming, Vol. 78, Núm. 6, pp. 425-453

2008

  1. Formally comparing user and implementer model-based testing methods

    2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08