White-box validation of quantitative product lines by statistical model checking and process mining

Documenti analoghi

• An Empirical Evaluation of White-box and Black-box Test Case Prioritization Techniques in CPSs Modeled in Simulink
  di: Arrieta, Aitor
  Pubblicazione: (2025)
• Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements
  di: Broccia, Giovanna, et al.
  Pubblicazione: (2024)
• Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)
  di: Bombarda, Andrea, et al.
  Pubblicazione: (2026)
• Generative AI in Evidence-Based Software Engineering: A White Paper
  di: Esposito, Matteo, et al.
  Pubblicazione: (2024)
• Large language models for automated PRISMA 2020 adherence checking
  di: Kataoka, Yuki, et al.
  Pubblicazione: (2025)