Equivalence checking is used to verify whether two programs produce equivalent outputs
when given equivalent inputs. Research in this field mainly focused on improving …

Software systems evolve continuously during their lifecycle. Developers incrementally
introduce new features and fix bugs during the process, leading to lots of changes and …

Software systems play a central role in contemporary societies, continuously expanding and
adjusting to meet emerging requirements and practices. Over the years, through extensive …

abstract Software architectures based on containers and microservices are often used to
develop and manage large-scale distributed applications. Still, large vertical deployments …