All Stories

  1. Addressing the uncertainty interaction problem in software-intensive systems
  2. Using trace alignments for measuring the similarity between a physical and its digital twin
  3. Automated generation of metamorphic relations for query-based systems
  4. Model Transformation Testing and Debugging: A Survey