- -

Listar por autor "Mesnard, Fred"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por autor "Mesnard, Fred"

Ordenar por:Orden:Resultados:

  • thumb
    An SMT-Based Concolic Testing Tool for Logic Programs 
    Fortz, Sophie; Mesnard, Fred; Payet, Etienne; Perrouin, Gilles; Vanhoof, Wim; Vidal, Germán (Springer Nature, 2020-04-25)
    [EN] Concolic testing combines symbolic and concrete execution to generate test cases that achieve a good program coverage. Its benefits have been demonstrated for more than 15 years in the case of imperative programs. In ...
  • thumb
    Concolic Testing in CLP 
    Mesnard, Fred; Payet, Etienne; Vidal, Germán (Cambridge University Press, 2020-09)
    [EN] Concolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases with the aim of maximizing code coverage. ...
  • thumb
    Concolic Testing in Logic programming 
    Mesnard, Fred; Payet, Etienne; Vidal Oriola, Germán Francisco (Cambridge University Press, 2015-07)
    Software testing is one of the most popular validation techniques in the software industry. Surprisingly, we can only find a few approaches to testing in the context of logic programming. In this paper, we introduce a ...
  • thumb
    Selective Unification in (Constraint) Logic Programming 
    Mesnard, Fred; Payet, Etienne; Vidal, Germán (IOS Press, 2020)
    [EN] Concolic testing is a well-known validation technique for imperative and object oriented programs. In a previous paper, we have introduced an adaptation of this technique to logic programming. At the heart of our ...