胡安·加莱奥蒂
人员信息
优化列表
2020年–今天
2023 [j13] 伊万·阿库申·莫雷诺 , 胡安·巴勃罗·加莱奥蒂 , 迭戈·加伯维斯基 :
关于Sapienz如何实现覆盖和碰撞检测的实证研究。 J.软件。 进化。 过程。 35 ( 4 ) ( 2023 ) [公元12年] 安德烈亚·阿库里 , Man Zhang先生 , 阿斯玛·贝尔哈迪 , 博格丹·马尔库列斯库 , 格尔穆罕默德(Golmohammadi) , 胡安·巴勃罗·加莱奥蒂 , 苏斯鲁珊·塞兰 :
构建开放源码系统测试生成工具:EvoMaster的经验教训和实证分析。 柔和。 资格。 J。 31 ( 三 ) : 947-990 ( 2023 ) [j11] 泽维尔·德夫罗伊 , 阿莱西奥·甘比 , 胡安·巴勃罗·加莱奥蒂 , 雷内只是 , 菲萨姆·梅舍沙·基菲特夫(Fitsum Meshesha Kifetew) , 安妮贝·帕尼切拉 , 塞巴斯蒂亚诺·帕尼切拉 :
JUGE:对Java单元测试生成器进行基准测试的基础设施。 柔和。 测试。 验证可靠性。 33 ( 三 ) ( 2023 ) [公元36年] 安德烈亚·阿库里 , Man Zhang先生 , 格尔穆罕默德(Golmohammadi) , 阿斯玛·贝尔哈迪 , 胡安·加莱奥蒂 , 博格丹·马尔库列斯库 , 苏斯鲁坦·瑟兰 :
EMB:软件测试研究的Web/Enterprise应用程序和库支持的权威语料库。 ICST公司 2023 : 433-442 [i3] 安德烈亚·阿库里 , Man Zhang先生 , 胡安·巴勃罗·加莱奥蒂 :
REST API基于搜索模糊化的高级白盒启发式。 CoRR公司 abs/2309.08360 ( 2023 ) 2022 [j10] 安德烈亚·阿库里 , 胡安·加莱奥蒂 :
通过现有API的可测试性转换增强基于搜索的测试。 ACM事务处理。 柔和。 工程方法。 31 ( 1 ) : 1:1-1:34 ( 2022 ) [公元35年] 伊万·阿库申·莫雷诺 , 胡安·巴勃罗·加莱奥蒂 , 克里斯蒂安·西卡罗尼 , 何塞·米盖尔·罗哈斯 :
关于合成可执行浓缩咖啡测试的可行性和挑战。 AST@ICSE公司 2022 : 92-102 [公元34年] 哈维尔·戈多伊 , 胡安·巴勃罗·加莱奥蒂 , 迭戈·加伯维斯基 , 塞巴斯蒂安·乌奇特尔 :
智能合约验证的谓词抽象。 模型 2022 : 289-299 2021 [公元9年] 安德烈亚·阿库里 , 胡安·巴勃罗·加莱奥蒂 , 博格丹·马尔库列斯库 , Man Zhang先生 :
EvoMaster:一个基于搜索的系统测试生成工具。 J.开源软件。 6 ( 57 ) : 2153 ( 2021 ) [j8] 哈维尔·戈多伊 , 胡安·巴勃罗·加莱奥蒂 , 迭戈·加伯韦茨基 , 塞巴斯蒂安·乌奇特尔 :
支持基于对象协议的测试。 ACM事务处理。 柔和。 工程方法。 30 ( 2 ) : 12:1-12:36 ( 2021 ) [c33] 伊格纳西奥·曼努埃尔·勒布雷罗·里亚尔 , 胡安·加莱奥蒂 :
EvoSuiteDSE参加SBST 2021工具竞赛。 ICSE的SBST 2021 : 30-31 [i2] 泽维尔·德夫罗伊 , 阿莱西奥·甘比 , 胡安·巴勃罗·加莱奥蒂 , 雷内只是 , 菲萨姆·梅舍沙·基菲特夫(Fitsum Meshesha Kifetew) , 安妮贝·帕尼切拉 , 塞巴斯蒂亚诺·帕尼切拉 :
JUGE:对Java单元测试生成器进行基准测试的基础设施。 CoRR公司 abs/2106.07520 ( 2021 ) 2020 [j7] 安德烈亚·阿库里 , 胡安·加莱奥蒂 :
在自动系统测试生成中处理SQL数据库。 ACM事务处理。 柔和。 工程方法。 29 ( 4 ) : 22:1-22:31 ( 2020 ) [公元32年] 伊万·阿库申·莫雷诺 , 胡安·巴勃罗·加莱奥蒂 , 迭戈·加伯维斯基 :
算法还是表示?: 关于SAPIENZ如何实现覆盖的实证研究。 AST@ICSE公司 2020 : 61-70 [公元31年] 安德烈亚·阿库里 , 胡安·加莱奥蒂 :
现有API的可测试性转换。 ICST公司 2020 : 153-163
2010 – 2019
2019 [公元30年] 安德烈亚·阿库里 , 胡安·加莱奥蒂 :
生成SQL数据以增强基于搜索的系统测试。 GECCO公司 2019 : 1390-1398 2018 [公元29年] 新浪Shamshiri , 何塞·米盖尔·罗哈斯 , 胡安·巴勃罗·加莱奥蒂 , 尼尔·沃金肖 , 弗雷泽 :
自动生成的单元测试如何影响软件维护? ICST公司 2018 : 250-261 [电子1] 胡安·巴勃罗·加莱奥蒂 , 亚历山德拉·戈拉 :
第十一届基于搜索的软件测试国际研讨会论文集,2018年ICSE,瑞典哥德堡,2018年5月28日至29日。 ACM公司 2018 ,国际标准图书编号 978-1-4503-5741-8 [目录] 2017 [公元28年] 胡安·巴勃罗·加莱奥蒂 , 朱丝蒂娜·佩特克 :
第十届基于搜索的软件测试国际研讨会(SBST 2017)。 ICSE的SBST 2017 : 1 [公元27年] 尼古拉斯·哈夫里科夫 , 阿莱西奥·甘比 , 安德利亚斯·策勒 , 安德烈亚·阿库里 , 胡安·巴勃罗·加莱奥蒂 :
具有结构化系统交互的生成单元测试。 AST@ICSE公司 2017 : 30-33 [公元26年] Germanán Regis公司 , 塞萨尔·科内霍 , 西蒙·古铁雷斯-布里达 , 玛丽亚诺·波利塔诺 , 费尔南多·拉维塔 , 巴勃罗·蓬齐奥 , 纳扎雷诺·阿吉雷 , 胡安·巴勃罗·加莱奥蒂 , 马塞洛·F·弗里亚斯 :
DynAlloy分析仪:用于规范和分析具有动态行为的合金模型的工具。 ESEC/SIGSOFT FSE 2017 : 969-973 2016 [公元25年] 乌尔科·鲁埃达 , 雷内只是 , 胡安·加莱奥蒂 , 坦贾·E.J.沃斯 :
单元测试工具竞赛:第四轮。 ICSE的SBST 2016 : 19-28 2015 [j6] 布鲁诺·库尔沃·帕里诺 , 胡安·巴勃罗·加莱奥蒂 , 迭戈·加伯维斯基 , 马塞洛·F·弗里亚斯 :
TacoFlow:使用数据流分析优化SAT程序验证。 柔和。 系统。 模型。 14 ( 1 ) : 45-63 ( 2015 ) [j5] 胡安·加莱奥蒂 , 卡洛·福里亚 , 伊娃·梅 , 弗雷泽 , 安德利亚斯·策勒 :
通过变异、动态分析和静态检查推断循环不变量。 IEEE传输。 软件工程。 41 ( 10 ) : 1019-1037 ( 2015 ) [c24] 凯文·萨尔维森 , 胡安·加莱奥蒂 , 弗洛里安·格罗斯 , 弗雷泽 , 安德利亚斯·策勒 :
在基于搜索的GUI测试中使用动态符号执行生成输入。 ICSE的SBST 2015 : 32-35 【c23】 安德烈亚·阿库里 , 弗雷泽 , 胡安·巴勃罗·加莱奥蒂 :
Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten。 软件工程与管理 2015 : 132 [公元22年] 安德烈亚·阿库里 , 弗雷泽 , 胡安·巴勃罗·加莱奥蒂 :
为自动单元测试生成生成TCP/UDP网络数据。 ESEC/SIGSOFT FSE 2015 : 155-165 2014 【j4】 马科斯·奇科特 , 丹尼尔·阿尔弗雷多·齐奥利克 , 胡安·巴勃罗·加莱奥蒂 :
使用TACO进行实际JFSL验证。 柔和。 实际。 支出。 44 ( 三 ) : 317-334 ( 2014 ) 【c21】 胡安·巴勃罗·加莱奥蒂 , 卡洛·福里亚 , 伊娃·梅 , 弗雷泽 , 安德利亚斯·策勒 :
DynaMate:用于自动全功能验证的动态推断环路不变量。 海法核查会议 2014 : 48-53 [公元20年] 马蒂亚斯·霍舍尔 , 胡安·巴勃罗·加莱奥蒂 , 安德利亚斯·策勒 :
跨多个层的测试生成。 SBST公司 2014 : 1-4 [第19条] 胡安·巴勃罗·加莱奥蒂 , 弗雷泽 , 安德烈亚·阿库里 :
使用自适应动态符号执行扩展基于搜索的测试生成器。 ISSTA公司 2014 : 421-424 [第18条] 安德烈亚·阿库里 , 弗雷泽 , 胡安·巴勃罗·加莱奥蒂 :
具有环境依赖性的类的自动单元测试生成。 ASE公司 2014 : 79-90 [第17条] 尼古拉斯·哈夫里科夫 , 马蒂亚斯·霍舍尔 , 胡安·巴勃罗·加莱奥蒂 , 安德利亚斯·策勒 :
XMLMate:进化的XML测试生成。 SIGSOFT FSE公司 2014 : 719-722 [第16条] 亚历山大·坎普曼 , 胡安·巴勃罗·加莱奥蒂 , 安德利亚斯·策勒 :
JTACO:快速有界验证的测试执行。 STAF处的TAP 2014 : 134-141 [i1] 胡安·加莱奥蒂 , 卡洛·福里亚 , 伊娃·梅 , 弗雷泽 , 安德利亚斯·策勒 :
使用循环自动进行程序的全功能验证。 CoRR公司 abs/1407.5286 ( 2014 ) 2013 [j3] 胡安·加莱奥蒂 , 尼科拉斯·罗斯纳 , 卡洛斯·古斯塔沃·洛佩斯·蓬博 , 马塞洛·F·弗里亚斯 :
TACO:使用对称破坏和紧边界的高效SAT边界验证。 IEEE传输。 软件工程。 39 ( 9 ) : 1283-1307 ( 2013 ) [第15条] 巴勃罗·阿巴德 , 纳扎雷诺·阿吉雷 , 瓦莱里亚S.孟加拉 , 丹尼尔·阿尔弗雷多·齐奥利克 , 马塞洛·F·弗里亚斯 , 胡安·加莱奥蒂 , 汤姆·迈鲍姆 , 玛丽亚诺·莫斯卡托 , 尼科拉斯·罗斯纳 , 伊格纳西奥·维萨尼 :
通过紧边界和增量SAT求解改进富合同下的测试生成。 ICST公司 2013 : 21-30 [第14条] 胡安·巴勃罗·加莱奥蒂 , 弗雷泽 , 安德烈亚·阿库里 :
通过动态符号执行改进基于搜索的测试套件生成。 ISSRE公司 2013 : 360-369 [第13条] 尼科拉斯·罗斯纳 , 胡安·加莱奥蒂 , 圣地亚哥·贝穆德斯 , 吉多·马鲁奇·布拉斯 , 圣地亚哥·佩雷斯·德罗索 , 卢卡斯·比萨加利 , 卢西亚诺·泽明 , 马塞洛·F·弗里亚斯 :
通过细化字段边界,在具有丰富不变量的代码中进行并行有界分析。 ISSTA公司 2013 : 23-33 [c12] 罗德里戈·卡斯塔尼奥 , 胡安·巴勃罗·加莱奥蒂 , 迭戈·加伯维斯基 , 乔纳森·塔皮塞 , 埃德加多·佐皮 :
关于使用代码协定验证资源协定。 洛杉矶金融管理局 2013 : 1-15 [第11条] 巴勃罗·本德斯基 , 胡安·巴勃罗·加莱奥蒂 , 迭戈·加伯维斯基 :
DynAlloy显象仪。 洛杉矶金融管理局 2013 : 59-64 2012 [第10条] 马科斯·奇科特 , 胡安·巴勃罗·加莱奥蒂 :
TacoPlug:用于TACO的Eclipse插件。 主题@ICSE 2012 : 37-42 2011 【c9】 布鲁诺·库尔沃·帕里诺 , 胡安·加莱奥蒂 , 迭戈·加伯维斯基 , 马塞洛·F·弗里亚斯 :
改进基于SAT的有界程序验证的数据流分析。 SEFM公司 2011 : 138-154 【c8】 纳扎雷诺·阿吉雷 , 缬草S.Bengolia , 马塞洛·F·弗里亚斯 , 胡安·加莱奥蒂 :
在结构输入的有界穷尽黑盒测试生成中纳入覆盖标准。 攻丝@工具 2011 : 15-32 2010 【c7】 尼科拉斯·德伊波利托 , 马塞洛·F·弗里亚斯 , 胡安·加莱奥蒂 , 埃斯特班·兰扎罗蒂 , 塞尔吉奥·梅拉 :
合金+热核:快速逼近不稳定核。 ASM公司 2010 : 160-173 【c6】 尼科拉斯·罗斯纳 , 胡安·加莱奥蒂 , 卡洛斯·洛佩斯·蓬博 , 马塞洛·F·弗里亚斯 :
ParAlloy:建立合金模型高效并行分析框架。 ASM公司 2010 : 396-397 【c5】 胡安·加莱奥蒂 , 尼科拉斯·罗斯纳 , 卡洛斯·洛佩斯·蓬博 , 马塞洛·F·弗里亚斯 :
分析不变量以进行有效的有界验证。 ISSTA公司 2010 : 25-36
2000 – 2009
2009 【c4】 Shuvendu K.Lahiri公司 , 沙兹·卡迪尔 , 胡安·加莱奥蒂 , 简·W·冯 , 托马斯·维斯 :
模块内推理。 CAV汽车 2009 : 493-508 2008 [注2] 安东尼奥·布奇亚罗内 , 胡安·加莱奥蒂 :
使用DynAlloy进行动态软件架构验证。 电子。 Commun公司。 欧洲软件协会。 科学。 Technol公司。 10 ( 2008 ) 【c3】 纳扎雷诺·阿吉雷 , 马塞洛·F·弗里亚斯 , 巴勃罗·蓬齐奥 , 布莱恩·加的夫 , 胡安·加莱奥蒂 , Germanán Regis公司 :
DynAlloy规范的抽象化。 ICFEM公司 2008 : 207-225 2007 [j1] 马塞洛·F·弗里亚斯 , 卡洛斯·洛佩斯·蓬博 , 胡安·加莱奥蒂 , 纳扎雷诺·阿吉雷 :
DynAlloy规范的有效分析。 ACM事务处理。 柔和。 工程方法。 17 ( 1 ) : 4:1-4:34 ( 2007 ) 2006 【c2】 胡安·加莱奥蒂 , 马塞洛·弗里亚斯 :
DynAlloy作为Java程序分析的形式化方法。 SET(设置) 2006 : 249-260 2005 【c1】 马塞洛·F·弗里亚斯 , 胡安·加莱奥蒂 , 卡洛斯·洛佩斯·庞博 , 纳扎雷诺·阿吉雷 :
DynAlloy:通过行动升级合金。 ICSE公司 2005 : 442-451