Zobrazeno 1 - 10
of 2 064
pro vyhledávání: '"A. Menghi"'
Autor:
Araujo, Gabriel, Caldas, Ricardo, Formica, Federico, Rodrigues, Genaína, Pelliccione, Patrizio, Menghi, Claudio
Cyber-physical systems (CPS) development requires verifying whether system behaviors violate their requirements. This analysis often considers system behaviors expressed by execution traces and requirements expressed by signal-based temporal properti
Externí odkaz:
http://arxiv.org/abs/2406.17268
Autor:
Formica, Federico, Petrunti, Nicholas, Bruck, Lucas, Pantelic, Vera, Lawford, Mark, Menghi, Claudio
Automotive software development requires engineers to test their systems to detect violations of both functional and drivability requirements. Functional requirements define the functionality of the automotive software. Drivability requirements refer
Externí odkaz:
http://arxiv.org/abs/2305.18608
Autor:
Nejati, Shiva, Sorokin, Lev, Safin, Damir, Formica, Federico, Mahboob, Mohammad Mahdi, Menghi, Claudio
Surrogate-assisted search-based testing (SA-SBT) aims to reduce the computational time for testing compute-intensive systems. Surrogates enhance testing techniques by improving test case generation focusing the testing budget on the most critical por
Externí odkaz:
http://arxiv.org/abs/2305.00083
Publikováno v:
Italian Journal of Animal Science, Vol 6, Iss 2s, Pp 1390-1393 (2010)
This paper aims to show the profitability of buffalo milk production in the Province of Latina (Italy). The study, based on a constant sample of 10 farms, was carried out between 2004 and 2005. It shows the average levels of revenue and production co
Externí odkaz:
https://doaj.org/article/2ba833a04e42435199076f302aa5c530
Autor:
Formica, Federico, Fan, Tony, Rajhans, Akshay, Pantelic, Vera, Lawford, Mark, Menghi, Claudio
Simulation-based software testing supports engineers in finding faults in Simulink models. It typically relies on search algorithms that iteratively generate test inputs used to exercise models in simulation to detect design errors. While simulation-
Externí odkaz:
http://arxiv.org/abs/2212.11589
Search-based software testing (SBST) typically relies on fitness functions to guide the search exploration toward software failures. There are two main techniques to define fitness functions: (a) automated fitness function computation from the specif
Externí odkaz:
http://arxiv.org/abs/2207.11016
Publikováno v:
IEEE Transactions on Software Engineering, vol. 49, no. 5, pp. 3131-3154, 1 May 2023
Most of the trace-checking tools only yield a Boolean verdict. However, when a property is violated by a trace, engineers usually inspect the trace to understand the cause of the violation; such manual diagnostic is time-consuming and error-prone. Ex
Externí odkaz:
http://arxiv.org/abs/2206.04024
Publikováno v:
In International Journal of Gastronomy and Food Science December 2024 38
Autor:
Quero, Giuseppe, Laterza, Vito, Di Giuseppe, Gianfranco, Lucinato, Chiara, Massimiani, Giuseppe, Nista, Enrico Celestino, Sionne, Francesco, Biffoni, Beatrice, Brunetti, Michela, Rosa, Fausto, De Sio, Davide, Ciccarelli, Gea, Fiorillo, Claudio, Menghi, Roberta, Langellotti, Lodovica, Soldovieri, Laura, Gasbarrini, Antonio, Pontecorvi, Alfredo, Giaccari, Andrea, Alfieri, Sergio, Tondolo, Vincenzo, Mezza, Teresa
Publikováno v:
In The American Journal of Surgery December 2024 238
Autor:
Matassa-Patrone, Jerónimo, Agras-Menghi, Giuliana, Espil, Pablo, Maccagno, Juan, Navarrete, Paulina, Verdier, Exequiel, Petre, Cesar, Acuña, Marcelo, Saravia-Toledo, Alejandro
Publikováno v:
In World Neurosurgery April 2024 184:74-85