Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Denaro, Giovanni
206  Ergebnisse:
Personensuche X
?
1

Measuring Software Testability via Automatically Generated ..:

Guglielmo, Luca ; Mariani, Leonardo ; Denaro, Giovanni
IEEE Access.  12 (2024)  - p. 63904-63916 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Guess the State: Exploiting Determinism to Improve GUI Expl..:

Clerissi, Diego ; Denaro, Giovanni ; Mobilio, Marco.
IEEE Transactions on Software Engineering.  50 (2024)  4 - p. 836-853 , 2024
Link: https://doi.org/10.1109/..
 
?
3

Prevent: An Unsupervised Approach to Predict Software Failu..:

Denaro, Giovanni ; Heydarov, Rahim ; Mohebbi, Ali.
IEEE Transactions on Software Engineering.  49 (2023)  12 - p. 5139-5153 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Automated Test Case Generation for Safety-Critical Software..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP),
Kurian, Elson ; Braione, Pietro ; Briola, Daniela... - p. 483-494 , 2023
Link: https://doi.org/10.1109/..
 
?
5

A dynamic integrated model for mercury bioaccumulation in m..:

Denaro, Giovanni ; Curcio, Luciano ; Borri, Alessandro..
Ecological Informatics.  75 (2023)  - p. 102056 , 2023
Link: https://doi.org/10.1016/..
 
?
6

GUI Testing to the Power of Parallel Q-Learning:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Mobilio, Marco ; Clerissi, Diego ; Denaro, Giovanni. - p. 55-59 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Automatically generating test cases for safety-critical sof..:

Kurian, Elson ; Briola, Daniela ; Braione, Pietro.
Journal of Systems and Software.  199 (2023)  - p. 111629 , 2023
Link: https://doi.org/10.1016/..
 
?
8

On introducing automatic test case generation in practice: ..:

Brunetto, Matteo ; Denaro, Giovanni ; Mariani, Leonardo.
Journal of Systems and Software.  176 (2021)  - p. 110933 , 2021
Link: https://doi.org/10.1016/..
 
?
9

Reusing Solutions Modulo Theories:

Aquino, Andrea ; Denaro, Giovanni ; Pezze, Mauro
IEEE Transactions on Software Engineering.  47 (2021)  5 - p. 948-968 , 2021
Link: https://doi.org/10.1109/..
 
?
10

Towards evidence-based testability measurements:

, In: Proceedings of the 43rd International Conference on Software Engineering: New Ideas and Emerging Results,
Guglielmo, Luca ; Riboni, Andrea ; Denaro, Giovanni - p. 76-80 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Plug the database & play with automatic testing : improv..:

, In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering,
Clerissi, Diego ; Denaro, Giovanni ; Mobilio, Marco. - p. 66-77 , 2020
Link: https://dl.acm.org/doi/1..
 
?
12

HR3DHG version 1: modeling the spatiotemporal dynamicsof me..:

Denaro, Giovanni ; Salvagio Manta, Daniela ; Borri, Alessandro...
Geoscientific Model Development.  13 (2020)  4 - p. 2073-2093 , 2020
Link: https://doi.org/10.5194/..
 
?
13

Facilitating program performance profiling via evolutionary..:

Aquino, Andrea ; Braione, Pietro ; Denaro, Giovanni.
Software Testing, Verification and Reliability.  30 (2019)  2 - p. , 2019
Link: https://doi.org/10.1002/..
 
?
14

Design for Testability of ERMTS Applications:

, In: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),
Riboni, Andrea ; Guglielmo, Luca ; Orru, Matteo.. - p. 128-136 , 2019
Link: https://doi.org/10.1109/..
 
?
15

Symbolic execution-driven extraction of the parallel execut..:

, In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Baresi, Luciano ; Denaro, Giovanni ; Quattrocchi, Giovanni - p. 246-256 , 2019
Link: https://dl.acm.org/doi/1..
 
1-15