Jean-Yves Pierron

Learn More
Test case generation and specification validation are essential concerns for the software industry in its continuous search for productivity improvement and quality mastering. This paper presents the approach developed in the MUTATION project for functional test case synthesis in the THALES industrial context. A two-step approach is proposed, which(More)
  • 1