1 results for "Ebeid Elsayed"

Formal Verification Under Evolution in Microservice-Based Systems: A Systematic Literature Review

Ruben Gomez; Ebeid Elsayed; Enrique R. Zarate et al.

Software, Vol. 5 No. 3 · 2026 · English · DOAJ Scopus

Microservice-based systems evolve continuously through API changes, service splits and merges, dependency churn, and deployment-topology drift driven by DevOps practices. This rapid evolution erodes the assumptions encoded in formal models, test suites, and architectural descriptions, leaving…