research
∙
09/22/2022
Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution
Automated test generation based on symbolic execution can be beneficial ...
share
research
∙
07/22/2020
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy
This volume contains the proceedings of the First Workshop on Agents and...
research
∙
02/05/2020
CBR: Controlled Burst Recording
Collecting traces from software running in the field is both useful and ...
research
∙
01/20/2020
In-The-Field Monitoring of Functional Calls: Is It Feasible?
Collecting data about the sequences of function calls executed by an app...
research
∙
11/05/2019
OntoScene, A Logic-based Scene Interpreter: Implementation and Application in the Rock Art Domain
We present OntoScene, a framework aimed at understanding the semantics o...
research
∙
08/24/2017