Nowadays hardware platforms offer a plethora of innovative facities for profiling the execution of programs. Most of them have been exploited as tools for program characterization, thus being used as kind of program-external observers. In this article we take the opposite perspective where hardware...
04b Atto di convegno in volume
-
-
-
Modern software systems require the support of automatic program analyses to answer questions about their correctness, reliability, and safety. In recent years, symbolic execution techniques have played a pivotal role in this field, backing research in different domains such as software testing and...
-
-
In this paper we discuss the use of Analytics in oii-web, an online programming contest training system. We first provide an overview of the challenges in training for programming contests. Then we discuss the data collected in these years using oii-web, a platform devoted to the training of...
-
-
-
-
This paper presents an optimization framework, based on Genetic Algorithms, for the control of the 'security level' of a Cyber-Physical System (CPS). The security level is a quantity that has been studied in several industrial standards, among which we selected the Open Source Security Testing...
-