Search for persons
X
?
2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ,
1
SPEcBCFuzz: Fuzzing LTL Solvers with Boundary Conditions:
, In:
?
Proceedings of the IEEE/ACM 46th International Conference on Software Engineering ,
2
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions:
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
4
ACoRe: Automated Goal-Conflict Resolution:
, In:
?
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines ,
9
Re-engineering Legacy Systems as Microservices: An Industri..:
, In:
?
2020 IEEE International Conference on Software Maintenance and Evolution (ICSME) ,
14
On the Performance and Adoption of Search-Based Microservic..:
, In:
?
Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion ,
15