Abstraction Abbreviations and Acronyms

  1. GSTE
    Generalized Symbolic Trajectory Evaluation
  2. IA
    Initial Abstraction
  3. NSD
    Noize Lecret Doctrine
  4. TGV
    Test Generation With Verification

Last updated: — Total entries: 4