Zobrazeno 1 - 10
of 57
pro vyhledávání: '"Frias, Marcelo F."'
Autor:
Zheng, Guolong, Nguyen, ThanhVu, Brida, Simón Gutiérrez, Regis, Germán, Frias, Marcelo F., Aguirre, Nazareno, Bagheri, Hamid
Fault localization is a practical research topic that helps developers identify code locations that might cause bugs in a program. Most existing fault localization techniques are designed for imperative programs (e.g., C and Java) and rely on analyzi
Externí odkaz:
http://arxiv.org/abs/2102.10152
Fork algebras are an extension of relation algebras obtained by extending the set of logical symbols with a binary operator called fork. This class of algebras was introduced by Haeberer and Veloso in the early 90's aiming at enriching relation algeb
Externí odkaz:
http://arxiv.org/abs/2009.02720
Autor:
Zemín, Luciano, Brida, Simón Gutiérrez, Bermúdez, Santiago, De Rosso, Santiago Perez, Aguirre, Nazareno, Mili, Ali, Jaoua, Ali, Frias, Marcelo F.
Many techniques for automated program repair involve syntactic program transformations. Applying combinations of such transformations on faulty code yields fix candidates whose correctness must be determined. Exploring these combinations leads to an
Externí odkaz:
http://arxiv.org/abs/1910.14011
Publikováno v:
EPTCS 139, 2014, pp. 65-70
Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce enormous
Externí odkaz:
http://arxiv.org/abs/1401.0974
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ponzio, Pablo, Godio, Ariel, Rosner, Nicolás, Arroyo, Marcelo, Aguirre, Nazareno, Frias, Marcelo F.
Publikováno v:
Fundamental Approaches to Software Engineering
Software model checkers are able to exhaustively explore different bounded program executions arising from various sources of non-determinism. These tools provide statements to produce non-deterministic values for certain variables, thus forcing the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::84d618b857b70a835209ce8be1c84a86
http://europepmc.org/articles/PMC7978807
http://europepmc.org/articles/PMC7978807
Publikováno v:
In Journal of Logic and Algebraic Programming 2006 66(2):161-184
Autor:
Zem��n, Luciano, Brida, Sim��n Guti��rrez, Berm��dez, Santiago, De Rosso, Santiago Perez, Aguirre, Nazareno, Mili, Ali, Jaoua, Ali, Frias, Marcelo F.
Many techniques for automated program repair involve syntactic program transformations. Applying combinations of such transformations on faulty code yields fix candidates whose correctness must be determined. Exploring these combinations leads to an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bfd29f276b64d72c2c1f8ff9efb22c50
http://arxiv.org/abs/1910.14011
http://arxiv.org/abs/1910.14011
Autor:
Guolong Zheng, ThanhVu Nguye, Brida, Simón Gutiérrez, Regis, Germán, Frias, Marcelo F., Aguirre, Nazareno, Bagheri, Hamid
Publikováno v:
ICSE: International Conference on Software Engineering; 5/22/2021, p637-648, 12p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.