Search for persons
X
?
Lecture Notes in Computer Science; NASA Formal Methods ,
1
Tree-Based Scenario Classification: A Formal Framework for ..:
, In:
?
Communications in Computer and Information Science; Dependable Computing – EDCC 2024 Workshops ,
2
STARS: A Tool for Measuring Scenario Coverage When Testing ..:
, In:
?
2022 IEEE/ACM 4th International Workshop on Software Engineering Education for the Next Generation (SEENG) ,
3
Aligning the learning Experience in a Project-Based Course:..:
, In:
?
Proceedings of the 4th International Workshop on Software Engineering Education for the Next Generation ,
4
Aligning the learning experience in a project-based course ..:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
5
Jaint: A Framework for User-Defined Dynamic Taint-Analyses ..:
, In:
1-9