Zobrazeno 1 - 10
of 86
pro vyhledávání: '"Nazareno Aguirre"'
Autor:
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783031308253
System goals are the statements that, in the context of software requirements specification, capture how the software should behave. Many times, the understanding of stakeholders on what the system should do, as captured in the goals, can lead to dif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8fe8d8cc3db872f683691eb13c38f03d
https://doi.org/10.1007/978-3-031-30826-0_1
https://doi.org/10.1007/978-3-031-30826-0_1
Autor:
Mariano Politano, Valeria Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783031308253
Bounded exhaustive input generation (BEG) is an effective approach to reveal software faults. However, existing BEG approaches require a precise specification of the valid inputs, i.e., a , that must be provided by the user. Writing s for BEG is chal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d1fa12991171fbd7427880f0be569f8a
https://doi.org/10.1007/978-3-031-30826-0_6
https://doi.org/10.1007/978-3-031-30826-0_6
Publikováno v:
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d7b843cfc7a1e305f172b760e6895ff
https://doi.org/10.1145/3551349.3556965
https://doi.org/10.1145/3551349.3556965
Autor:
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, Thanhvu Nguyen, Nazareno Aguirre, Marcelo Frias
Publikováno v:
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2bdea4d87f0cb96de2debe0297ac116e
https://doi.org/10.1145/3551349.3556944
https://doi.org/10.1145/3551349.3556944
Publikováno v:
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c630e5d36917a0acbd089d56ec6bd165
https://doi.org/10.1109/issre55969.2022.00054
https://doi.org/10.1109/issre55969.2022.00054
Autor:
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri
Publikováno v:
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6c1fe121cd3a22d3be62d22d2452e9ba
https://doi.org/10.1145/3533767.3534369
https://doi.org/10.1145/3533767.3534369
Expressing class specifications via executable constraints is important for various software engineering tasks such as test generation, bug finding and automated debugging, but developers rarely write them. Techniques that infer specifications from c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::135f5060b6c19acf21fddb5ea3704c56
http://arxiv.org/abs/2201.10874
http://arxiv.org/abs/2201.10874
Autor:
Guolong Zheng, ThanhVu Nguyen, Simon Gutierrez Brida, German Regis, Marcelo Frias, Nazareno Aguirre, Hamid Bagheri
Publikováno v:
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eea54985131ae73de2243b2b643b3344
https://doi.org/10.1109/ase51524.2021.9678740
https://doi.org/10.1109/ase51524.2021.9678740
Autor:
Simon Gutierrez Brida, German Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo Frias
Publikováno v:
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa10145a078bea3d1490ef3f3ff3b118
https://doi.org/10.1109/ase51524.2021.9678524
https://doi.org/10.1109/ase51524.2021.9678524
Autor:
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
Publikováno v:
Science of Computer Programming. 181:47-63
Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many of these tools and techniques
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99dd6bf33105beb3bd3921f370c1ddd4
https://doi.org/10.1016/j.scico.2019.05.006
https://doi.org/10.1016/j.scico.2019.05.006