Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Aguirre, Nazareno
123  Ergebnisse:
Personensuche X
?
1

SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,
Carvalho, Luiz ; Degiovanni, Renzo ; Cordy, Maxime... - p. 1-13 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

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
Link: https://doi.org/10.1145/..
 
?
3

An Analysis of the Impact of Field-Value Instance Navigatio..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Cornejo, César ; Novaira, María Marta ; Permigiani, Sonia... - p. 141-159 , 2024
Link: https://doi.org/10.1007/..
 
?
4

BEAPI: A tool for bounded exhaustive input generation from ..:

Politano, Mariano ; Bengolea, Valeria ; Molina, Facundo...
Science of Computer Programming.  238 (2024)  - p. 103153 , 2024
Link: https://doi.org/10.1016/..
 
?
5

Efficient Bounded Exhaustive Input Generation from Program ..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Politano, Mariano ; Bengolea, Valeria ; Molina, Facundo... - p. 111-132 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Precise Lazy Initialization for Programs with Complex Heap ..:

, In: 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE),
Copia, Juan Manuel ; Molina, Facundo ; Aguirre, Nazareno... - p. 752-762 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Enabling Efficient Assertion Inference:

, In: 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE),
Garg, Aayush ; Degiovanni, Renzo ; Molina, Facundo... - p. 623-634 , 2023
Link: https://doi.org/10.1109/..
 
?
8

SpecFuzzer: A Tool for Inferring Class Specifications via G..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Molina, Facundo ; d'Amorim, Marcelo ; Aguirre, Nazareno - p. 2094-2097 , 2023
Link: https://doi.org/10.1109/..
 
?
9

EvoSpex: A Search-Based Tool for Postcondition Inference:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,
Molina, Facundo ; Ponzio, Pablo ; Aguirre, Nazareno. - p. 1519-1522 , 2023
Link: https://dl.acm.org/doi/1..
 
?
10

Automated Repair of Unrealisable LTL Specifications Guided ..:

, In: Proceedings of the Genetic and Evolutionary Computation Conference,
Brizzio, Matías ; Cordy, Maxime ; Papadakis, Mike... - p. 1499-1507 , 2023
Link: https://dl.acm.org/doi/1..
 
?
11

A Study of the Electrum and DynAlloy Dynamic Behavior Notat..:

Cornejo, César ; Regis, Germán E. ; Aguirre, Nazareno.
IEEE Transactions on Software Engineering.  49 (2023)  11 - p. 4946-4963 , 2023
Link: https://doi.org/10.1109/..
 
?
12

ACoRe: Automated Goal-Conflict Resolution:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Carvalho, Luiz ; Degiovanni, Renzo ; Brizzio, Matías... - p. 3-25 , 2023
Link: https://doi.org/10.1007/..
 
?
13

Fuzzing class specifications:

, In: Proceedings of the 44th International Conference on Software Engineering,
Molina, Facundo ; d'Amorim, Marcelo ; Aguirre, Nazareno - p. 1008-1020 , 2022
Link: https://dl.acm.org/doi/1..
 
?
14

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifica..:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,
Gutiérrez Brida, Simón ; Regis, Germán ; Zheng, Guolong... - p. 1-13 , 2022
Link: https://dl.acm.org/doi/1..
 
?
15

LISSA: Lazy Initialization with Specialized Solver Aid:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,
Copia, Juan Manuel ; Ponzio, Pablo ; Aguirre, Nazareno.. - p. 1-12 , 2022
Link: https://dl.acm.org/doi/1..
 
1-15