Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems
Lopez Pombo, Carlos G., Castro, Pablo F., Aguirre, Nazareno M., Maibaum, Thomas S.E.
Published in Fundamenta informaticae (01.01.2019)
Published in Fundamenta informaticae (01.01.2019)
Get full text
Journal Article
Fuzzing Class Specifications
Molina, Facundo, D'Amorim, Marcelo, Aguirre, Nazareno
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)
Get full text
Conference Proceeding
BEAPI: A tool for bounded exhaustive input generation from APIs
Politano, Mariano, Bengolea, Valeria, Molina, Facundo, Aguirre, Nazareno, Frias, Marcelo, Ponzio, Pablo
Published in Science of computer programming (01.12.2024)
Published in Science of computer programming (01.12.2024)
Get full text
Journal Article
A Study of the Electrum and DynAlloy Dynamic Behavior Notations
Cornejo, Cesar, Regis, German E., Aguirre, Nazareno, Frias, Marcelo F.
Published in IEEE transactions on software engineering (01.11.2023)
Published in IEEE transactions on software engineering (01.11.2023)
Get full text
Journal Article
EvoSpex: An Evolutionary Algorithm for Learning Postconditions
Molina, Facundo, Ponzio, Pablo, Aguirre, Nazareno, Frias, Marcelo
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (01.05.2021)
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (01.05.2021)
Get full text
Conference Proceeding
Learning to Prune Infeasible Paths in Generalized Symbolic Execution
Molina, Facundo, Ponzio, Pablo, Aguirre, Nazareno, Frias, Marcelo
Published in 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) (01.10.2022)
Published in 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) (01.10.2022)
Get full text
Conference Proceeding
EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact)
Molina, Facundo, Ponzio, Pablo, Aguirre, Nazareno, Frias, Marcelo
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.05.2021)
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.05.2021)
Get full text
Conference Proceeding
Improving lazy abstraction for SCR specifications through constraint relaxation
Degiovanni, Renzo, Ponzio, Pablo, Aguirre, Nazareno, Frias, Marcelo
Published in Software testing, verification & reliability (01.03.2018)
Published in Software testing, verification & reliability (01.03.2018)
Get full text
Journal Article
SPEcBCFuzz: Fuzzing LTL Solvers with Boundary Conditions
Carvalho, Luiz, Degiovanni, Renzo, Cordy, Maxime, Aguirre, Nazareno, Traon, Yves Le, Papadakis, Mike
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Conference Proceeding
A Genetic Algorithm for Goal-Conflict Identification
Degiovanni, Renzo, Molina, Facundo, Regis, German, Aguirre, Nazareno
Published in 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2018)
Published in 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2018)
Get full text
Conference Proceeding
Enabling Efficient Assertion Inference
Garg, Aayush, Degiovanni, Renzo, Molina, Facundo, Cordy, Maxime, Aguirre, Nazareno, Papadakis, Mike, Le Traon, Yves
Published in 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) (09.10.2023)
Published in 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) (09.10.2023)
Get full text
Conference Proceeding
Precise Lazy Initialization for Programs with Complex Heap Inputs
Copia, Juan Manuel, Molina, Facundo, Aguirre, Nazareno, Frias, Marcelo F., Gorla, Alessandra, Ponzio, Pablo
Published in 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) (09.10.2023)
Published in 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) (09.10.2023)
Get full text
Conference Proceeding
Bounded Exhaustive Search of Alloy Specification Repairs
Gutierrez Brida, Simon, Regis, German, Zheng, Guolong, Bagheri, Hamid, Nguyen, ThanhVu, Aguirre, Nazareno, Frias, Marcelo
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (01.05.2021)
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (01.05.2021)
Get full text
Conference Proceeding
Training Binary Classifiers as Data Structure Invariants
Molina, Facundo, Degiovanni, Renzo, Ponzio, Pablo, Regis, German, Aguirre, Nazareno, Frias, Marcelo
Published in 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) (01.05.2019)
Published in 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) (01.05.2019)
Get full text
Conference Proceeding
An evolutionary approach to translating operational specifications into declarative specifications
Molina, Facundo, Cornejo, César, Degiovanni, Renzo, Regis, Germán, Castro, Pablo F., Aguirre, Nazareno, Frias, Marcelo F.
Published in Science of computer programming (15.07.2019)
Published in Science of computer programming (15.07.2019)
Get full text
Journal Article
Proceedings First Latin American Workshop on Formal Methods: Preface
Aguirre, Nazareno, Ribeiro, Leila
Published in Electronic proceedings in theoretical computer science (02.01.2014)
Published in Electronic proceedings in theoretical computer science (02.01.2014)
Get full text
Journal Article
BeAFix: An Automated Repair Tool for Faulty Alloy Models
Gutierrez Brida, Simon, Regis, German, Zheng, Guolong, Bagheri, Hamid, Nguyen, ThanhVu, Aguirre, Nazareno, Frias, Marcelo
Published in 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2021)
Published in 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2021)
Get full text
Conference Proceeding