Login / Signup

Test generation for sequential nets of Abstract State Machines with information passing.

Paolo ArcainiAngelo Gargantini
Published in: Sci. Comput. Program. (2014)
Keyphrases
  • test generation
  • information sources
  • data sets
  • machine learning
  • life cycle