4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.SE2019
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…