Preliminares

URI permanente para esta colección:

Preliminares de las Actas de las PROLE 2016 (Salamanca). Los preliminares de las actas incluyen información adicional sobre las jornadas, tales como la presentación de las jornadas, los comités participantes, las conferencias invitadas, o los agradecimientos, entre otras secciones.
Notificar un error en esta colección

Examinar

Envíos recientes

Mostrando 1 - 3 de 3
  • Preliminares
    Índice
    Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016), 2016-09-02.
    Índice de las Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016).
  • Preliminares
    Prefacio
    Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016), 2016-09-02.
    Prefacio de las XVI Jornadas de Programación y Lenguajes (PROLE 2016).
  • Preliminares
    Charla invitada: Constraint-Based Testing: An Emerging Trend in Software Testing
    Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016), 2016-09-02.
    Software Testing involves the development of smart techniques to automatically find test inputs which uncover faults in programs. An emerging trend in this area, called “Constraint-Based Testing”, aims at exploiting constraint solving techniques for this goal. My talk will review different techniques including dynamic symbolic execution, path-based exploration and constraint-based exploration and will emphasize the usage of advanced Constraint Programming tools.