2 papers
cs.SE2025
Latent Mutants: A large-scale study on the Interplay between mutation testing and software evolution
Jeongju Sohn, Ezekiel Soremekun, Michail Papadakis
In this paper we apply mutation testing in an in-time fashion, i.e., across multiple project releases. Thus, we investigate how the mutants of the current version behave in the fut…
cs.RO2024
Modeling and In-flight Torso Attitude Stabilization of a Jumping Quadruped
Michail Papadakis, Jørgen Anker Olsen, Ioannis Poulakakis +1
This paper addresses the modeling and attitude control of jumping quadrupeds in low-gravity environments. First, a convex decomposition procedure is presented to generate high-accu…