Zerrendatu honen arabera: non argitaratua "2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)"

1-tik 1-1 emaitza erakusten

CRESCO Framework and Checker: Automatic Generation of Reflective UML State Machine's C++ Code and Checker

Illarramendi, Miren; Etxeberria, Leire; Larrinaga, Felix; Sagardui, Goiuria (IEEE, 2020)

Software Systems are becoming increasingly complex leading to new Validation & Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ...