?
Enterprise Design, Operations, and Computing. EDOC 2023 Workshops; Lecture Notes in Business Information Processing ,
2
Monitoring Business Process Compliance Across Multiple Exec..:
, In:
?
2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) ,
5
Dynamic Program Analysis with Flexible Instrumentation and ..:
, In:
?
Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering ,
9
Test suite generation for boolean conditions with equivalen..:
, In:
?
2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) ,
10
SCAS-AI: A Strategy to Semi-Automate the Initial Selection ..:
, In:
?
Foundations and Practice of Security; Lecture Notes in Computer Science ,
11
A Modular Runtime Enforcement Model Using Multi-traces:
, In:
?
2022 Sixth IEEE International Conference on Robotic Computing (IRC) ,
12
An approach to apply Automated Acceptance Testing for Indus..:
, In:
?
2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) ,
13
Towards Continuous Systematic Literature Review in Software..:
, In:
?
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
14
Test Suite Generation for Boolean Conditions with Equivalen..:
, In:
?
2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
15