4 citations · 6 across the 6 of their papers we have counts for
7 papers
Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution
Elson Kurian, Daniela Briola, Pietro Braione +1
Automated test generation based on symbolic execution can be beneficial for systematically testing safety-critical software, to facilitate test engineers to pursue the strict testi…
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola +2
This volume contains the proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2020), co-located with the 24th European Conference on Artifi…
CBR: Controlled Burst Recording
Oscar Cornejo, Daniela Briola, Daniela Micucci +1
Collecting traces from software running in the field is both useful and challenging. Traces may indeed help revealing unexpected usage scenarios, detecting and reproducing failures…
In-The-Field Monitoring of Functional Calls: Is It Feasible?
Oscar Cornejo, Daniela Briola, Daniela Micucci +1
Collecting data about the sequences of function calls executed by an application while running in the field can be useful to a number of applications, including failure reproductio…
OntoScene, A Logic-based Scene Interpreter: Implementation and Application in the Rock Art Domain
Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi
We present OntoScene, a framework aimed at understanding the semantics of visual scenes starting from the semantics of their elements and the spatial relations holding between them…
Fragmented Monitoring
Oscar Cornejo, Daniela Briola, Daniela Micucci +1
Field data is an invaluable source of information for testers and developers because it witnesses how software systems operate in real environments, capturing scenarios and configu…