  This paper presents the result of our experience with the ap- plication of
runtime verification, testing and static analysis techniques to several
industrial projects. We discuss the eight most relevant challenges that we
experienced, and the strategies that we elaborated to face them.
