Zobrazeno 1 - 10
of 109
pro vyhledávání: '"Carlo A. Furia"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 187, Iss Proc. F-IDE 2015, Pp 42-55 (2015)
Formal verification tools are often developed by experts for experts; as a result, their usability by programmers with little formal methods experience may be severely limited. In this paper, we discuss this general phenomenon with reference to AutoP
Externí odkaz:
https://doaj.org/article/30c02b971e7542e8ab309b46194af149
Publikováno v:
IEEE Transactions on Software Engineering. 49:831-848
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a48890dc95dd81a3a77b2ab0cf7a0256
https://doi.org/10.1109/tse.2022.3164662
https://doi.org/10.1109/tse.2022.3164662
Autor:
Marco Paganoni, Carlo A. Furia
Publikováno v:
Formal Methods ISBN: 9783031274800
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d233b814c6a0c34904bb92e34c2248d
https://doi.org/10.1007/978-3-031-27481-7_20
https://doi.org/10.1007/978-3-031-27481-7_20
Publikováno v:
IEEE Transactions on Software Engineering. 47:2841-2857
Most techniques for automated program repair (APR) use tests to drive the repair process; this makes them prone to generating spurious repairs that overfit the available tests unless additional information about expected program behavior is available
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::47f1f6ff329f44cf22b9ceffbfd8d2df
https://doi.org/10.1109/tse.2020.2970009
https://doi.org/10.1109/tse.2020.2970009
Autor:
Diego Marcilio, Carlo A. Furia
Publikováno v:
2022 IEEE International Conference on Software Maintenance and Evolution (ICSME).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::17b4b72c142ea512ff64809dd499b2f7
https://doi.org/10.1109/icsme55016.2022.00038
https://doi.org/10.1109/icsme55016.2022.00038
Autor:
Mohammad Rezaalipour, Carlo A. Furia
Publikováno v:
Journal of Systems and Software. 201:111669
As neural networks are increasingly included as core components of safety-critical systems, developing effective testing techniques specialized for them becomes crucial. The bulk of the research has focused on testing neural-network models; but these
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c6cfaad0bbfb0d3ad39867f81b9e1c3
https://doi.org/10.1016/j.jss.2023.111669
https://doi.org/10.1016/j.jss.2023.111669
Publikováno v:
International journal on software tools for technology transfer, 23(6), 883-893. Springer
International Journal on Software Tools for Technology Transfer, 23
International Journal on Software Tools for Technology Transfer, 23
International Journal on Software Tools for Technology Transfer, 23
ISSN:1433-2779
ISSN:1433-2787
ISSN:1433-2779
ISSN:1433-2787
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e5dd550346389517576552d64ec4742
https://doi.org/10.1007/s10009-021-00619-x
https://doi.org/10.1007/s10009-021-00619-x
Publikováno v:
2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d8be636e3873276db0d726b9fc51a5f
https://doi.org/10.1109/saner53432.2022.00098
https://doi.org/10.1109/saner53432.2022.00098
Autor:
Richard Torkar, Neil A. Ernst, Robert Feldt, Francisco Gomes de Oliveira Neto, Lucas Gren, Carlo A. Furia, Per Lenberg
A key goal of empirical research in software engineering is to assess practical significance, which answers whether the observed effects of some compared treatments show a relevant difference in practice in realistic scenarios. Even though plenty of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::500e1f756923bd85ca6fccebbc2a1ee8
http://urn.kb.se/resolve?urn=urn:nbn:se:bth-24154
http://urn.kb.se/resolve?urn=urn:nbn:se:bth-24154
Autor:
Robert Feldt, Francisco Gomes de Oliveira Neto, Carlo A. Furia, Ziwei Huang, Richard Torkar, Lucas Gren
Publikováno v:
Journal of Systems and Software. 156:246-267
© 2019 Elsevier Inc. Software engineering research is evolving and papers are increasingly based on empirical data from a multitude of sources, using statistical tests to determine if and to what degree empirical evidence supports their hypotheses.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d71df605d8efa2a37c6967946e1f835
https://doi.org/10.1016/j.jss.2019.07.002
https://doi.org/10.1016/j.jss.2019.07.002