No description
-
2014 (v1)PublicationUploaded on: April 14, 2023
-
2016 (v1)Publication
Verification of embedded systems is challenging whenever control programs rely on black-box hardware components. Unless precise specifications of such components are fully available, learning their structured models is a powerful enabler for verification, but it can be inefficient when the system to be learned is data-intensive rather than...
Uploaded on: April 14, 2023 -
2014 (v1)Publication
No description
Uploaded on: March 27, 2023 -
2017 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2015 (v1)Publication
In the context of structural testing, automatic test-pattern generation (ATPG) may fail to provide suites covering 100% of the testing requirements for grey-box programs, i.e., Applications wherein source code is available for some parts (white-box), but not for others (black-box). Furthermore, test suites based on abstract models may elicit...
Uploaded on: March 27, 2023 -
2014 (v1)Publication
We present three computer-augmented software engineering approaches to ensure dependability at different levels of control architectures in autonomous robots. For each approach, we outline the methodological framework, our current achievements, and open issues. Albeit our results are still preliminary, we believe that furthering research along...
Uploaded on: April 14, 2023