Evospex: An evolutionary algorithm for learning postconditions F Molina, P Ponzio, N Aguirre, M Frias 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 22 | 2021 |
Fuzzing class specifications F Molina, M d'Amorim, N Aguirre Proceedings of the 44th International Conference on Software Engineering …, 2022 | 21 | 2022 |
Training binary classifiers as data structure invariants F Molina, R Degiovanni, P Ponzio, G Regis, N Aguirre, M Frias 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 18 | 2019 |
A genetic algorithm for goal-conflict identification R Degiovanni, F Molina, G Regis, N Aguirre Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 17 | 2018 |
An evolutionary approach to translating operational specifications into declarative specifications F Molina, C Cornejo, R Degiovanni, G Regis, PF Castro, N Aguirre, ... Science of Computer Programming 181, 47-63, 2019 | 8 | 2019 |
EvoSpex: An evolutionary algorithm for learning postconditions. In 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) F Molina, P Ponzio, N Aguirre, M Frias IEEE, 2021 | 6 | 2021 |
Applying learning techniques to oracle synthesis F Molina Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 4 | 2020 |
Assertion Inferring Mutants A Garg, R Degiovanni, F Molina, M Papadakis, N Aguirre, M Cordy, ... arXiv preprint arXiv:2301.12284, 2023 | 2 | 2023 |
Enabling efficient assertion inference A Garg, R Degiovanni, F Molina, M Cordy, N Aguirre, M Papadakis, ... 2023 IEEE 34th International Symposium on Software Reliability Engineering …, 2023 | 1 | 2023 |
Learning to prune infeasible paths in generalized symbolic execution F Molina, P Ponzio, N Aguirre, M Frias 2022 IEEE 33rd International Symposium on Software Reliability Engineering …, 2022 | 1 | 2022 |
EvoSpex: an evolutionary algorithm for learning postconditions (artifact) F Molina, P Ponzio, N Aguirre, M Frias 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | 1 | 2021 |
From operational to declarative specifications using a genetic algorithm F Molina, R Degiovanni, G Regis, P Castro, N Aguirre, M Frias Proceedings of the 11th International Workshop on Search-Based Software …, 2018 | 1 | 2018 |
Abstraction-Aware Inference of Metamorphic Relations A NOLASCO, F MOLINA, R DEGIOVANNI, A GORLA, D GARBERVETSKY, ... | | 2024 |
Precise Lazy Initialization for Programs with Complex Heap Inputs JM Copia, F Molina, N Aguirre, MF Frias, A Gorla, P Ponzio 2023 IEEE 34th International Symposium on Software Reliability Engineering …, 2023 | | 2023 |
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing F Molina, M d'Amorim, N Aguirre 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | | 2023 |
EvoSpex: A Search-Based Tool for Postcondition Inference F Molina, P Ponzio, N Aguirre, MF Frias Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | | 2023 |
Efficient Bounded Exhaustive Input Generation from Program APIs M Politano, V Bengolea, F Molina, N Aguirre, MF Frias, P Ponzio International Conference on Fundamental Approaches to Software Engineering …, 2023 | | 2023 |
Specification Inference for Evolving Systems R Degiovanni, F Molina, A Nolasco, N Aguirre, M Papadakis arXiv preprint arXiv:2301.12403, 2023 | | 2023 |
Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones FJ Molina | | 2022 |
Artifact Evaluations Committee A Yadavally, A Tiwari, A Sejfia, A Schultheiß, A Bugariu, A Mir, A Sajadi, ... | | |