Valérie-Anne Nicolas

Learn More
In this paper, we explore the testing-verification relationship with the objective of mechanizing the generation of test data. We consider program classes defined as recursive program schemes and we show that complete and finite test data sets can be associated with such classes , that is to say that these test data sets allow us to distinguish every two(More)
  • 1