Login / Signup

Analyzing graph-based algorithms employed to generate test cases from finite state machines.

Matheus Monteiro MarianoÉrica Ferreira de SouzaAndré Takeshi EndoNandamudi L. Vijaykumar
Published in: LATS (2019)
Keyphrases
  • test cases
  • finite state machines
  • black box
  • learning algorithm
  • test data
  • computational complexity
  • database
  • software testing
  • artificial intelligence
  • test set
  • test data generation
  • mutation testing
  • set of test cases