Precise deformation surveying is essential for ensuring safety and sustainable development in densely populated cities. Synthetic aperture radar interferometry (InSAR) is a technique well suited for ...

We introduce, what is to the best of our knowledge, the first approach for systematically testing Object-Relational Mapping (ORM) systems. Our approach leverages differential testing to establish a ...