Personensuche
X
?
2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ,
1
Improving Model Learning by Inferring Separating Sequences ..:
, In:
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
2
Active Inference of EFSMs Without Reset:
, In:
?
2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ,
3
Correlating Test Events With Monitoring Logs For Test Log R..:
, In:
?
2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS) ,
4
Telemetry-Based Software Failure Prediction by Concept-Spac..:
, In:
?
Testing Software and Systems; Lecture Notes in Computer Science ,
5
Improving Model Inference via W-Set Reduction:
, In:
?
2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) ,
7
A Review of Intrusion Detection Systems for Industrial Cont..:
, In:
?
Proceedings of the 13th International Workshop on Automation of Software Test ,
9
Revisiting AI and testing methods to infer FSM models of bl..:
, In:
?
Proceedings of the 34th Annual Computer Security Applications Conference ,
10
Now You See Me : Real-time Dynamic Function Call Detecti..:
, In:
?
Proceedings of the 6th Conference on Formal Methods in Software Engineering ,
11
Extending specification patterns for verification of parame..:
, In:
?
Proceedings of the International Workshop on Software Engineering in Healthcare Systems ,
12
Requirements for a trace property language for medical devi..:
, In:
?
Proceedings of the 5th Program Protection and Reverse Engineering Workshop ,
13
Lightweight heuristics to retrieve parameter associations f..:
, In:
?
Proceedings of the 4th ACM conference on Data and application security and privacy ,
14