4 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.SE2025
Defining Self-adaptive Systems: A Systematic Literature Review
Ana Petrovska, Guan Erjiage, Stefan Kugele
In the last two decades, the popularity of self-adaptive systems in the field of software and systems engineering has drastically increased. However, despite the extensive work on…
cs.SE2019★ 3 cited
Detecting Architectural Erosion using Runtime Verification
Diego Marmsoler, Ana Petrovska
The architecture of a system captures important design decisions for the system. Over time, changes in a system's implementation may lead to violations of specific design decisions…
cs.SE2017★ 4 cited
An Exploratory Survey of Hybrid Testing Techniques Involving Symbolic Execution and Fuzzing
Saahil Ognawala, Ana Petrovska, Kristian Beckers
Recent efforts in practical symbolic execution have successfully mitigated the path-explosion problem to some extent with search-based heuristics and compositional approaches. Simi…