Login / Signup

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees.

Giulia PedrielliTanmay KhandaitYumeng CaoQuinn ThibeaultHao HuangMauricio Castillo-EffenGeorgios Fainekos
Published in: IEEE Trans Autom. Sci. Eng. (2024)
Keyphrases
  • test generation
  • search methods
  • exhaustive search
  • learning algorithm
  • databases
  • search space
  • probabilistic model
  • test cases
  • theoretical guarantees
  • test data generation