All Stories

  1. From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
  2. Automatic test amplification for executable models
  3. Challenges & opportunities in low-code testing