Zobrazeno 1 - 10
of 792
pro vyhledávání: '"P, 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
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
Autor:
Chiara Biggi, Beatrice Biasini, Nives Ogrinc, Lidija Strojnik, Isabella Endrizzi, Leonardo Menghi, Ikram Khémiri, Amani Mankai, Fethi Ben Slama, Henda Jamoussi, Katerina Riviou, Kaoutar Elfazazi, Nayyer Rehman, Francesca Scazzina, Davide Menozzi
Publikováno v:
Nutrients, Vol 16, Iss 15, p 2405 (2024)
Given the global decline in adherence to the Mediterranean Diet (MD), even within its native region, it is key to identify the factors influencing this trend to mitigate the negative health outcomes associated with westernized diets. To this end, 402
Externí odkaz:
https://doaj.org/article/97fc0a5c103d4340bfb9f0cd0f626df7
Software verification may yield spurious failures when environment assumptions are not accounted for. Environment assumptions are the expectations that a system or a component makes about its operational environment and are often specified in terms o
Externí odkaz:
http://arxiv.org/abs/2101.01933
Autor:
Giuseppe Quero, Davide De Sio, Claudio Fiorillo, Chiara Lucinato, Edoardo Panza, Beatrice Biffoni, Lodovica Langellotti, Vito Laterza, Giulia Scaglione, Flavia Taglioni, Giuseppe Massimiani, Roberta Menghi, Fausto Rosa, Teresa Mezza, Sergio Alfieri, Vincenzo Tondolo
Publikováno v:
Cancers, Vol 16, Iss 13, p 2347 (2024)
The influencing role of resection margin (R) status on long-term outcomes, namely overall (OS) and disease-free survival (DFS), after pancreaticoduodenectomy (PD) for pancreatic ductal adenocarcinoma (PDAC) is not still clear. The aim of this study i
Externí odkaz:
https://doaj.org/article/4c90b019394c411ba66a6337b2bd86a3
Autor:
Cristina Vicenzetto, Andrea Silvio Giordani, Caterina Menghi, Anna Baritussio, Maria Grazia Peloso Cattini, Elena Pontara, Elisa Bison, Stefania Rizzo, Monica De Gaspari, Cristina Basso, Gaetano Thiene, Sabino Iliceto, Renzo Marcolongo, Alida Linda Patrizia Caforio
Publikováno v:
Biomedicines, Vol 12, Iss 6, p 1156 (2024)
The role of the immune system in myocarditis onset and progression involves a range of complex cellular and molecular pathways. Both innate and adaptive immunity contribute to myocarditis pathogenesis, regardless of its infectious or non-infectious n
Externí odkaz:
https://doaj.org/article/1f546f361a5e4dbfae88afbc3ad19c38