LRI
Équipe VALS
Bât 650 Ada Lovelace, Université Paris Sud
Rue Noetzlin, 91190 Gif-sur-Yvette, France
Test Club Meeting on 8/3/2018

Structural Test with Randomized Couverage in Frama-C:Rukia/Auguste++

Personnes présentes

  • Safouan Taha
  • Frederic Boulanger
  • Marie-Claude Gaudel
  • Lina Yue
  • Thibault Balabonski
  • Delphine Longuet
  • Vassil Todorov
  • Burkhart Wolff
  • Quintin Garchery
  • Amina Bousalem

Presentators (by order of appearance)

  • Frederic Voisin

Background: Relevance of Invariant Generation for Random Testing

See last Isabelle Club March 3rd 2018: Invariant Generation for RandomTesting in Kind and Kind2

Random-Testing

Slides of Romain + extensions of Fred based on recent experiments extensions of Fred based on recent experiments.

Discussion

  • bu: it would intersting to see also the impact on input sizes for the concrete test for long paths
  • bu : what are the most urgent problems to go further:
    • overcoming the limitations of the memory model
    • adding calls and strategies to handle calls in the program representation