Marcello Pecorari

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We present a case study on the integration in a real industrial design flow of Automatic Integration Test Generation methods. We achieved our goal by devising a testing plan specification language to easily define sets of test cases. The key idea was to base our language on formal standardbased system specification languages already used by the testing(More)
  • 1