Carvalho, Luiz
217  results:
Search for persons X
?
1

SPEcBCFuzz: Fuzzing LTL Solvers with Boundary Conditions:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),
Carvalho, Luiz ; Degiovanni, Renzo ; Cordy, Maxime... - p. 1508-1520 , 2024
 
?
2

SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,
 
?
3

ACoRe: Automated Goal-Conflict Resolution:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
 
?
4

Re-engineering Legacy Systems as Microservices: An Industri..:

, In: Handbook of Re-Engineering Software Intensive Systems into Software Product Lines,
 
?
5

On the Performance and Adoption of Search-Based Microservic..:

, In: 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME),
 
?
6

Search-based many-criteria identification of microservices ..:

, In: Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion,
 
?
7

Towards a Catalog of Java Dependency Injection Anti-Pattern:

, In: Proceedings of the XXXIII Brazilian Symposium on Software Engineering,
 
?
8

Analysis of the Criteria Adopted in Industry to Extract Mic..:

, In: 2019 IEEE/ACM Joint 7th International Workshop on Conducting Empirical Studies in Industry (CESI) and 6th International Workshop on Software Engineering Research and Industrial Practice (SER&IP),
 
?
9

Extraction of Configurable and Reusable Microservices from ..:

, In: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A,
 
?
10

Analysis of the criteria adopted in industry to extract mic..:

, In: Proceedings of the Joint 7th International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice,
 
?
11

On the Density and Diversity of Degradation Symptoms in Ref..:

, In: 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE),
 
?
12

Equivalent Mutants in Configurable Systems : An Empirica..:

, In: Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems,
 
?
13

Avoiding useless mutants:

, In: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,
 
?
14

Celebrating two decades of SBSI (2004 to 2023): A Comprehen..:

, In: Proceedings of the 20th Brazilian Symposium on Information Systems,
 
?
15

Ethics and Games, Ethical Games and Ethics in Game:

, In: Communications in Computer and Information Science; Grand Research Challenges in Games and Entertainment Computing in Brazil - GranDGamesBR 2020–2030,
 
1-15