乔瓦尼·德纳罗
人员信息
附属: 意大利米兰-比科卡大学
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元17年] 卢卡·古列尔莫 , 莱昂纳多·马里亚尼 , 乔瓦尼·德纳罗 :
通过自动生成的测试用例测量软件的可测试性。 IEEE接入 12 : 63904-63916 ( 2024 ) [公元16年] 迭戈·克莱里西 , 乔瓦尼·德纳罗 , 马可·莫比利奥 , 莱昂纳多·马里亚尼 :
猜测状态:利用确定性提高GUI搜索效率。 IEEE传输。 软件工程。 50 ( 4 ) : 836-853 ( 2024 ) 2023 [公元15年] 乔瓦尼·德纳罗 , 卢西亚诺·柯西奥 , 亚历山德罗·博里 , 劳拉·德奥尔西 , 安德烈亚·德盖塔诺 :
海洋生物中汞生物累积的动态综合模型。 经济。 信息学 75 : 102056 ( 2023 ) [公元14年] 埃尔森·库里安 , 丹妮拉·布里奥拉 , 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 :
通过符号执行为安全关键型软件自动生成测试用例。 J.系统。 柔和。 199 : 111629 ( 2023 ) [j13] 乔瓦尼·德纳罗 , 拉希姆·海达罗夫 , 阿里·莫赫比 , 毛罗·佩泽尔 :
预防:预测生产中软件故障的无监督方法。 IEEE传输。 软件工程。 49 ( 12 ) : 5139-5153 ( 2023 ) [公元49年] 马可·莫比利奥 , 迭戈·克莱里西 , 乔瓦尼·德纳罗 , 莱昂纳多·马里亚尼 :
GUI测试并行Q-Learning的威力。 ICSE伴侣 2023 : 55-59 [公元48年] 埃尔森·库里安 , 彼得罗·布雷奥内 , 丹妮拉·布里奥拉 , 达里奥·达维诺 , 马泰奥·莫多纳托 , 乔瓦尼·德纳罗 :
Scade中安全关键软件的自动测试用例生成。 ICSE-SEIP系统 2023 : 483-494 [公元47年] 戴维德·曼奇诺 , 阿尔贝托·莱波拉蒂 , 马可·维维亚尼 , 乔瓦尼·德纳罗 :
在“合并”之后开发以太坊:PoS和MEV策略之间的相互作用。 伊塔塞克 2023 [i5] 卢卡·古列尔莫 , 莱昂纳多·马里亚尼 , 乔瓦尼·德纳罗 :
通过自动生成的测试用例测量软件的可测试性。 CoRR公司 abs/2307.16185 ( 2023 ) 2022 [i4] 乔瓦尼·德纳罗 , 拉希姆·海达罗夫 , 阿里·莫赫比 , 毛罗·佩泽尔 :
预防:预测生产中软件故障的无监督方法。 CoRR公司 abs/2208.11939 ( 2022 ) [i3] 埃尔森·库里安 , 丹妮拉·布里奥拉 , 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 :
通过符号执行自动生成安全关键软件的测试用例。 CoRR公司 abs/2209.11138 ( 2022 ) 2021 [公元12年] H.阿瓦达 , 萨尔瓦托尔·阿罗妮卡 , 安吉洛·博纳诺 , 瓜提埃罗巴西龙 , S.W.Zgozi公司 , 乔瓦尼·贾卡隆 , 伊格纳齐奥·丰塔纳 , 西蒙娜·吉诺维斯 , 罗莎莉亚·费雷里 , 萨尔瓦托尔·马佐拉 , 贝尔纳多·斯帕尼奥洛 , 达维德·瓦伦蒂 , 乔瓦尼·德纳罗 :
一种模拟海洋贫营养水体中叶绿素三维分布的新方法。 Commun公司。 非线性科学。 数字。 模拟。 103 : 106000 ( 2021 ) [公元11年] 马泰奥·布鲁内托 , 乔瓦尼·德纳罗 , 莱昂纳多·马里亚尼 , 毛罗·佩泽尔 :
关于在实践中引入自动测试用例生成:成功案例和经验教训。 J.系统。 柔和。 176 : 110933 ( 2021 ) [公元10年] 安德烈亚·阿基诺 , 乔瓦尼·德纳罗 , 毛罗·佩泽 :
复用解决方案模数理论。 IEEE传输。 软件工程。 47 ( 5 ) : 948-968 ( 2021 ) [公元46年] 卢卡·古列尔莫 , 安德烈亚·里博尼 , 乔瓦尼·德纳罗 :
面向基于证据的可测试性度量。 ICSE(近红外) 2021 : 76-80 [公元45年] 马西米利亚诺·卡拉尼 , 乔瓦尼·德纳罗 , 阿尔贝托·莱波拉蒂 :
利用区块链确保GDPR合规性,同时同意在数据所有者的控制下演变。 意大利证券交易委员会 2021 : 331-343 [i2] 卢卡·古列尔莫 , 安德烈亚·里博尼 , 乔瓦尼·德纳罗 :
面向基于证据的可测试性度量。 CoRR公司 abs/2102.10877 ( 2021 ) [i1] 马泰奥·布鲁内托 , 乔瓦尼·德纳罗 , 莱昂纳多·马里亚尼 , 毛罗·佩泽尔 :
在实践中引入自动测试用例生成:一个成功的故事和经验教训。 CoRR公司 abs/2103.00465 ( 2021 ) 2020 [公元9年] 安德烈亚·阿基诺 , 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 , 帕斯奎尔·萨尔扎 :
通过进化符号执行促进程序性能分析。 柔和。 测试。 验证可靠性。 30 ( 2 ) ( 2020 ) [公元44年] 迭戈·克莱里西 , 乔瓦尼·德纳罗 , 马尔科·莫利奥 , 莱昂纳多·马里亚尼 :
即插即用数据库和自动测试:通过利用持久数据改进系统测试。 ASE公司 2020 : 66-77
2010 – 2019
2019 [j8] 安德鲁·莫罗佐夫 , 乔瓦尼·德纳罗 , 伯纳多·斯帕格诺洛 , 戴维德·瓦伦蒂 :
重新审视自上而下和自下而上控制在稳定富营养浮游生物群落中的作用。 Commun公司。 非线性科学。 数字。 模拟。 79 : 104885 ( 2019 ) [公元43年] 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 :
SUSHI和TARDIS参加SBST2019工具竞赛。 ICSE的SBST 2019 : 25-28 [公元42年] 安德烈亚·里博尼 , 卢卡·古列尔莫 , 马泰奥·奥尔 , 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 :
ERMTS应用程序的可测试性设计。 ISSRE研讨会 2019 : 128-136 [公元41年] 卢西亚诺·巴雷西 , 乔瓦尼·德纳罗 , 乔瓦尼·夸特罗奇 :
作为自适应系统体系的大数据应用。 ISSRE研讨会 2019 : 155-162 [公元40年] 乔瓦尼·德纳罗 , 卢卡·古列尔莫 , 莱昂纳多·马里亚尼 , 奥利维耶罗·里加内利 :
生产中的GUI测试:挑战和机遇。 编程 2019 : 18:1-18:3 [公元39年] 卢西亚诺·巴雷西 , 乔瓦尼·德纳罗 , 乔瓦尼·夸特罗奇 :
符号执行驱动的Spark应用程序并行执行计划提取。 ESEC/SIGSOFT FSE 2019 : 246-256 【d1】 乔瓦尼·德纳罗 :
平行ReCal补充材料。 IEEE数据端口 , 2019 2018 [公元38年] Pietro Braione公司 , 乔瓦尼·德纳罗 , 安德烈亚·马塔维利 , 毛罗·佩泽尔 :
SUSHI:用于具有复杂结构输入的程序的测试生成器。 ICSE(配套卷) 2018 : 21-24 [公元37年] 安德烈亚·阿基诺 , 乔瓦尼·德纳罗 , 帕斯奎尔·萨尔扎 :
通过进化符号执行进行最坏情况下的执行时间测试。 ISSRE公司 2018 : 76-87 2017 [公元36年] 安德烈亚·阿基诺 , 乔瓦尼·德纳罗 , 毛罗·佩泽尔 :
启发性地匹配算术公式的解空间,以有效地重用解。 ICSE公司 2017 : 427-437 [公元35年] 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 , 安德烈亚·马塔维利 , 毛罗·佩泽尔 :
将符号执行和基于搜索的测试结合起来,用于具有复杂堆输入的程序。 ISSTA公司 2017 : 90-101 2016 [j7] 毛罗·巴卢达 , 乔瓦尼·德纳罗 , 毛罗·佩泽尔 :
有效分支测试的双向符号分析。 IEEE传输。 软件工程。 42 ( 5 ) : 403-426 ( 2016 ) [公元34年] 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 , 毛罗·佩泽 :
JBSE:具有复杂堆输入的Java程序的符号执行器。 SIGSOFT FSE公司 2016 : 1018-1022 2015 [公元33年] 乔瓦尼·德纳罗 , 亚历山德罗·玛加拉 , 毛罗·佩泽尔 , 马蒂亚·维万蒂 :
面向对象系统的动态数据流测试。 ICSE(1) 2015 : 947-958 [公元32年] 安德烈亚·阿基诺 , 弗朗西斯科·比安奇 , 陈美贤 , 乔瓦尼·德纳罗 , 毛罗·佩泽尔 :
在程序分析中重用约束证明。 ISSTA公司 2015 : 305-315 [公元31年] 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 , 毛罗·佩泽尔 :
用堆输入符号执行程序。 ESEC/SIGSOFT FSE 2015 : 602-613 [第1页] 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 , 奥利维埃罗·里加内利 , 毛罗·巴卢达 , 阿里·穆罕默德 :
通过ARC-B和Deltatest生成软件升级的静态/动态测试用例。 进化软件的验证 2015 : 147-184 2014 [j6] 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 , 安德烈亚·马塔维利 , 马蒂亚·维万蒂 , 阿里·穆罕默德 :
使用基于代码的测试生成器进行软件测试:从工业软件组件的案例研究中获得的数据和经验教训。 柔和。 资格。 J。 22 ( 2 ) : 311-333 ( 2014 ) [公元30年] 乔瓦尼·德纳罗 , 毛罗·佩泽尔 , 马蒂亚·维万蒂 :
关于数据流测试的正确目标。 ICST公司 2014 : 71-80 2013 [j5] 乔瓦尼·德纳罗 , 毛罗·佩泽尔 , 大卫·托西 :
测试和调整:一种改进服务互换性的方法。 ACM事务处理。 柔和。 工程方法。 22 ( 4 ) : 28:1-28:43 ( 2013 ) [公元29年] 哈娜·查克勒 , 乔瓦尼·德纳罗 , 梅佳玲 , 格里戈里·费德尤科维奇 , 安蒂·埃罗·约翰内斯·海瓦里宁 , 莱昂纳多·马里亚尼 , 阿里·穆罕默德 , 曼纽尔·奥利奥 , 阿吉塔·拉詹 , Ondrej Sery公司 , 娜塔莎·沙里吉娜 , 迈克尔·陶茨尼格 :
PINCETTE-验证网络软件中的更改和升级。 CSMR公司 2013 : 461-464 [公元28年] 乔瓦尼·德纳罗 , 毛罗·佩泽尔 , 马蒂亚·维万蒂 :
量化数据流测试的复杂性。 AST公司 2013 : 132-138 [公元27年] 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 , 毛罗·佩泽 :
通过内置的术语重写和受约束的延迟初始化增强符号执行。 ESEC/SIGSOFT FSE 2013 : 411-421 2012 [公元26年] 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 , 安德烈亚·马塔维利 , 马蒂亚·维万蒂 , 阿里·穆罕默德 :
测试生成器有效性的工业案例研究。 AST公司 2012 : 50-56 [公元25年] 乔瓦尼·德纳罗 :
所有值的符号执行。 AST公司 2012 : 138-144 2011 【j4】 毛罗·巴卢达 , 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 , 毛罗·佩泽 :
通过增量计算分支可执行性来增强结构软件覆盖率。 柔和。 资格。 J。 19 ( 4 ) : 725-751 ( 2011 ) 2010 [公元24年] 毛罗·巴卢达 , 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 , 毛罗·佩泽尔 :
可行代码的结构覆盖范围。 AST公司 2010 : 59-66 【c23】 彼得罗·布雷奥内 , 乔瓦尼·德纳罗 , 毛罗·佩泽尔 :
软件测试与形式分析的集成。 LASER暑期学校 2010 : 158-193
2000 – 2009
2009 [j3] 大卫·托西 , 乔瓦尼·德纳罗 , 毛罗·佩泽尔 :
面向自主面向服务的应用程序。 国际汽车杂志。 计算。 1 ( 1 ) : 58-80 ( 2009 ) [公元22年] 安东尼奥·卡扎尼加 , 乔瓦尼·德纳罗 , 毛罗·佩泽尔 , 杰基·埃斯特布利尔 , 亚历山大·沃尔夫 :
走向深度适应的数字系统社会。 ICSE伴侣 2009 : 331-334 【c21】 乔瓦尼·德纳罗 , 亚历山德拉·戈拉 , 毛罗·佩泽尔 :
DaTeC:java类的上下文数据流测试。 ICSE伴侣 2009 : 421-422 [公元20年] 乔瓦尼·德纳罗 , 毛罗·佩泽尔 , 大卫·托西 :
通过工程化的自我修复确保可互操作的面向服务的系统。 ESEC/SIGSOFT FSE 2009 : 253-262 2008 [第19条] 乔瓦尼·德纳罗 , 亚历山德拉·戈拉 , 毛罗·佩泽尔 :
类的上下文集成测试。 FASE公司 2008 : 246-260 2007 [第18条] 周志泉 , 伯恩哈德·舒尔茨 , 乔瓦尼·德纳罗 :
自动化软件测试和分析:技术、实践和工具。 HICSS公司 2007 : 260 [第17条] 乔瓦尼·德纳罗 , 毛罗·佩泽尔 , 大卫·托西 :
设计自适应的面向服务的应用程序。 廉署 2007 : 16 [第16条] 乔瓦尼·德纳罗 , 毛罗·佩泽 , 大卫·托西 :
SHIWS:Web服务的自我修复集成器。 ICSE伴侣 2007 : 55-56 [c15] 乔瓦尼·德纳罗 , 毛罗·佩泽尔 , Onn Shehory公司 :
SOQUA 2007:第四届软件质量保证国际研讨会。 ESEC/SIGSOFT FSE 2007 : 615-616 2006 [第14条] 乔瓦尼·德纳罗 , 毛罗·佩泽尔 , 大卫·托西 , 丹妮拉·席林 :
面向自适应面向服务的体系结构。 TAV-网络 2006 : 10-16 2005 [注2] 乔瓦尼·德纳罗 , 毛罗·佩泽尔 , 大卫·托西 :
第三方web服务的自适应集成。 ACM SIGSOFT软件。 工程注释 30 ( 4 ) : 1-6 ( 2005 ) [第13条] 乔瓦尼·德纳罗 , 莱昂纳多·马里亚尼 , 毛罗·佩泽尔 , 大卫·托西 :
自主通信基础设施的自适应运行时验证。 WOWMOM公司 2005 : 553-557 2004 [第12条] 乔瓦尼·德纳罗 , 安德烈亚·波利尼 , 沃尔夫冈·埃默里奇 :
分布式软件应用程序的早期性能测试。 WOSP公司 2004 : 94-103 [第11条] 毛罗·佩泽 , 安德列亚·巴尔蒂尼 , 乔瓦尼·德纳罗 , 朱塞佩·利帕里 , 马特奥·罗西 , 大卫·罗盖 :
夸克:新一代集成嵌入式系统质量平台。 玉米饼 2004 : 113-131 [第10条] 乔瓦尼·德纳罗 , 莱昂纳多·马里亚尼 :
面向使用序列化的系统的测试和分析。 玉米饼 2004 : 171-184 2003 [j1] 乔瓦尼·德纳罗 , 毛罗·佩泽尔 , 桑德罗·莫拉斯卡 :
面向工业相关的故障倾向模型。 国际期刊软件。 工程知识。 工程师。 13 ( 4 ) : 395-417 ( 2003 ) 【c9】 乔瓦尼·德纳罗 , 毛罗·佩泽尔 :
Petri网与软件工程。 并发与Petri网讲座 2003 : 439-466 【c8】 乔瓦尼·德纳罗 , 莱昂纳多·马里亚尼 , 毛罗·佩泽尔 :
高度可重构系统的自测试组件。 玉米饼 2003 : 89-98 【c7】 安德列亚·巴尔蒂尼 , 保罗·普里内托 , 乔瓦尼·德纳罗 , 毛罗·佩泽尔 :
高可重构组件系统的可测试性设计。 玉米饼 2003 : 199-208 2002 【c6】 乔瓦尼·德纳罗 , 毛罗·佩泽尔 :
对容错模型的实证评估。 ICSE公司 2002 : 241-251 【c5】 乔瓦尼·德纳罗 , 桑德罗·莫拉斯卡 , 毛罗·佩泽尔 :
推导软件容错模型。 塞克 2002 : 361-368 【c4】 卢西亚诺·巴雷西 , 乔瓦尼·德纳罗 , 卢卡·梅内蒂 , 保罗·保里尼 :
断言以更好地指定amazon bug。 瑞典克朗 2002 : 585-592 2001 【c3】 乔瓦尼·德纳罗 , 马蒂亚·蒙加 :
方面属性验证的经验。 IWPSE公司 2001 : 186-189 【c2】 阿尔贝托·科恩·波里西尼 , 乔瓦尼·德纳罗 , 卡洛·盖齐 , 毛罗·佩泽 :
使用符号执行验证安全关键系统。 ESEC/SIGSOFT FSE 2001 : 142-151 2000 【c1】 乔瓦尼·德纳罗 :
评估用于调整测试活动的软件容错性。 ICSE公司 2000 : 704-706
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)