 |
Journal articles
Verification by Testing for Recursive Program Schemes
Abstract : 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 different functions in these schemes. This technique is applied to the verification of simple properties of programs.
Cited literature [2 references]
https://hal.univ-brest.fr/hal-00783194
Contributor : Valérie-Anne Nicolas <>
Submitted on : Thursday, January 31, 2013 - 4:15:32 PM
Last modification on : Friday, July 10, 2020 - 4:25:15 PM
Long-term archiving on: : Wednesday, May 1, 2013 - 3:57:41 AM
Contributor : Valérie-Anne Nicolas <>
Submitted on : Thursday, January 31, 2013 - 4:15:32 PM
Last modification on : Friday, July 10, 2020 - 4:25:15 PM
Long-term archiving on: : Wednesday, May 1, 2013 - 3:57:41 AM
File
LMNR00.pdf
Files produced by the author(s)