×

为提升分析寻找合适的变异性抽象。 (英语) Zbl 1425.68067号


MSC公司:

68号30 软件工程的数学方面(规范、验证、度量、需求等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Apel,S.,Kästner,C.:面向特征的软件开发概述。《对象技术杂志》8(5),49-84(2009)·doi:10.5381/jot.2009.8.5.c5
[2] Batory D(2005)特征模型、语法和命题公式。In:第九届国际软件产品线会议,SPLC’05,LNCS第3714卷,Springer-Verlag,第7-20页
[3] Brabrand,C.、Ribeiro,M.、Tolído,T.、Winther,J.、Borba,P.:软件产品线的程序内数据流分析。Trans-Asp导向软件开发10,73-108(2013)·doi:10.1007/978-3-642-36964-3_3
[4] Bryant,R.E.:布尔函数操作的基于图的算法。IEEE Trans Compute 35(8),677-691(1986)·Zbl 0593.94022号 ·doi:10.1109/TC.1986.1676819
[5] Bodden E,Tolído T,Ribeiro M,Brabrand C,Borba P,Mezini M \[(2013)\text{Spl}^{{rm-lift}}}\]Spllift:静态分析软件产品线,以分钟为单位,而不是以年为单位。In:ACM SIGPLAN 2013年PLDI会议,第355-364页
[6] 库索特,P。;库索特,R。;Sethi,R.(编辑),《抽象解释:通过构造或近似不动点对程序进行静态分析的统一格模型》,238-252(1977),加利福尼亚州·doi:10.1145/512950.512973
[7] Cousot P,Cousot R(1979)程序分析框架的系统设计。收录:POPL'79,第269-282页·Zbl 1323.68356号
[8] 库索,P.,库索,R.:逻辑程序的抽象解释和应用。J Log Program 13(2-3),103-179(1992)·Zbl 0776.68024号 ·doi:10.1016/0743-1066(92)90030-7
[9] Chen J,Cousot P(2015)二叉决策树抽象域函子。In:静态分析第22届国际研讨会,SAS 2015,法国圣马洛,2015年9月9日至11日,LNCS第9291卷,斯普林格,第36-53页
[10] Classen,A.,Cordy,M.,Heymans,P.,Legay,A.,Schobbens,P.-Y.:使用SNIP检查软件产品线的模型。STTT 14(5),589-612(2012)·doi:10.1007/s10009-012-0234-1
[11] Cousot P,Cousot R,Mauborgne L(2010)可扩展分段决策树抽象域。In:验证时间,纪念Amir Pnueli的论文,LNCS第6200卷,Springer,第72-95页·Zbl 1288.68040号
[12] Classen,A.,Cordy,M.,Schobbens,P.-Y.,Heymans,P.,Legay,A.,Raskin,J.-F.:特征转换系统:验证变量密集型系统的基础及其在LTL模型检查中的应用。IEEE Trans Softw Eng 39(8),1069-1089(2013)·doi:10.1109/TSE.2012.86
[13] Chrszon,P.,Dubslaff,C.,Klüppelholz,S.,Baier,C.:Profeat:面向特征的工程,用于基于家族的概率模型检查。正式Asp计算30(1),45-75(2018)·文件编号:10.1007/s00165-017-0432-4
[14] Chen S,Erwig M,Walkingshaw E(2012)变分lambda演算的容错型系统。摘自:ACM SIGPLAN函数编程国际会议,ICFP’12,第29-40页·Zbl 1291.68111号
[15] Classen A、Heymans P、Schobbens P-Y、Legay A(2011)软件产品线的符号模型检查。摘自:第33届软件工程国际会议论文集,ICSE 2011,第321-330页
[16] Clements,P.,Northrop,L.:软件产品线:实践和模式。Addison Wesley,波士顿(2001)
[17] 库索,P。;Broy,M.(编辑);Steinbrüggen,R.(编辑),通用抽象解释器的计算设计,1-88(1999),阿姆斯特丹
[18] Chechik M,Stavropoulou I,Disenfeld C,Rubin J(2018)FPH:基于特征系统的有效非交换性分析。主题:软件工程基本方法,第21届国际会议,FASE 2018,会议记录。,LNCS第10802卷,Springer,第319-336页
[19] Cordy M、Schobbens P-Y、Heymans P、Legay A(2012)实时软件产品线的行为建模和验证。In:第16届国际软件产品线会议,SPLC’12,Vol 1。ACM,第66-75页
[20] Dimovski AS、Al-Sibahi AS、Brabrand C、Wasowski A(2015),基于家族的模型检查,无需基于家族的模式检查器。In:模型检验软件第22届国际研讨会,SPIN 2015,会议记录,LNCS第9232卷,Springer,第282-299页
[21] Dimovski,A.、Al-Sibahi,A.S.、Brabrand,C.、Wasowski,A.:通过可变性抽象进行高效的基于家族的模型检查。STTT 19(5),585-603(2017)·doi:10.1007/s10009-016-0425-2
[22] Dimovski AS、Brabrand C、Wasowski A(2015)《变量抽象:基于家族的分析中速度的交易精度》。In:第29届面向对象编程欧洲会议,ECOOP 2015,LIPIcs第37卷,Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik,第247-270页
[23] Dimovski AS、Brabrand C、Wasowski A(2016)为基于家庭的分析找到合适的变异性抽象。In:FM 2016:正式方法——第21届国际研讨会,会议记录,LNCS第9995卷,第217-234页·Zbl 1427.68044号
[24] Dimovski,A.S.、Brabrand,C.、Wasowski,A.:提升分析的变异性抽象。科学计算计划159,1-27(2018)·doi:10.1016/j.scico.2017.12.012
[25] Dimovski,A.:使用符号游戏语义进行程序验证。《Theor Compute Sci》560、364-379(2014)·Zbl 1303.68083号 ·doi:10.1016/j.tcs.2014.01.016
[26] Dimovski AS(2016)模型检查程序族的符号游戏语义。In:模型检验软件第23届国际研讨会,SPIN 2016,会议记录,LNCS第9641卷,Springer,第19-37页
[27] Dimovski AS(2018)使用模态特征转换系统的基于家族的抽象模型检查:保存。主题:软件工程基本方法,第21届国际会议,FASE 2018,会议记录。,LNCS第10802卷,Springer,第301-318页·Zbl 1423.68277号
[28] Dimovski,A.S.:使用符号游戏语义验证带注释的程序族。Theor Compute Sci 706,35-53(2018)·Zbl 1380.68121号 ·doi:10.1016/j.tcs.2017.09.029
[29] Dimovski AS,Wasowski A(2017)从过渡系统到可变性模型,从提升模型检查返回UPPAAL。在:献给金·古尔德斯特兰·拉森60岁生日之际的模型、算法、逻辑和工具论文,LNCS第10460卷,施普林格,第249-268页·兹比尔1431.68074
[30] Dimovski AS,Wasowski A(2017),基于系列的模型检查的变量特定抽象细化。In:软件工程基本方法第20届国际会议,FASE 2017,会议记录,LNCS第10202卷,第406-423页·Zbl 1430.68151号
[31] Erwig M,Walkingshaw E(2011)《选择演算:软件变化的表示》。ACM Trans Softw Eng Methodol公司21(1):6:1-6:27·Zbl 1184.68167号
[32] Gazzillo P,Grimm R(2012)Super:通过驯服预处理器解析所有C语言。收件人:Vitek J,Lin H,Tip F(eds)ACM SIGPLAN编程语言设计与实现会议,PLDI’12,中国北京,2012年6月11日至16日,ACM,第323-334页
[33] Iosif-Lazar AF、Al-Sibahi AS、Dimovski AS、Savolainen JE、Sierszecki K、Wasowski A(2015)软件现代化改造设计和验证经验(E)。参见:第30届IEEE/ACM国际自动化软件工程会议,ASE 2015,第597-607页
[34] Iosif-Lazar,A.F.,Melo,J.,Dimovski,A.S.,Brabrand,C.,Wasowski,A.:通过重写可变性对C程序进行有效分析。项目J 1(1),1(2017)·doi:10.22152/programming-journal.org/2017/1/1
[35] Jeannet B,MinéA(2009)《围裙:静态分析的数值抽象域库》。参加:计算机辅助验证,第21届国际会议,CAV 2009。LNCS第5643卷,Springer,第661-667页
[36] Christian K,Apel S(2008)类型检查软件产品线——一种正式方法。参见:第23届IEEE/ACM国际自动化软件工程会议(ASE)2008),第258-267页
[37] Kästner C、Apel S、Kuhlemann M(2008)《软件产品线的粒度》。摘自:第30届软件工程国际会议论文集(ICSE’08),德国莱比锡,ACM,第311-320页
[38] Kastner C(2010)《关注点的虚拟分离:走向预处理器2.0》。德国马格德堡大学博士论文
[39] Kästner C,Giarrusso PG,Rendel T,Erdweg S,Ostermann K,Berger T(2011),词汇宏和条件编译中的变量感知解析。摘自:第26届ACM SIGPLAN面向对象编程、系统、语言和应用年会论文集,OOPSLA 2011,SPLASH 2011的一部分,第805-824页
[40] Larsen KG、Nyman U、Wasowski A(2007)接口和产品线理论的模式I/O自动机。在:编程语言和系统,第16届欧洲编程研讨会,2007年ESOP,会议记录,LNCS第4421卷,斯普林格,第64-79页·Zbl 1187.68296号
[41] Liang P,Tripp O,Naik M(2011)学习最小抽象。摘自:第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2011年POPL,第31-42页·Zbl 1284.68519号
[42] Midtgaard,J.、Dimovski,A.S.、Brabrand,C.、Wasowski,A.:正确的变量感知程序分析的系统推导。科学计算程序105,145-170(2015)·doi:10.1016/j.scico.2015.04.005
[43] Meinike J、Wong C-P、Kästner C、Thüm T、Saake G(2016)《基本配置复杂性:测量高配置系统中的交互作用》。摘自:第31届IEEE/ACM自动化软件工程国际会议记录,ASE 2016,新加坡,2016年9月3-7日,ACM,第483-494页
[44] Nielson,F.,Nielson,H.R.,Hankin,C.:程序分析原理。施普林格,塞考库斯(1999)·兹比尔0932.68013 ·doi:10.1007/978-3-662-03811-6
[45] Naik M,Yang H,Castelnuovo G,Sagiv M(2012)《测试摘要》。摘自:第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL 2012,第373-386页
[46] Oh H,Lee W,Heo K,Yang H,Yi K(2014),基于影响预分析的选择性语境敏感性。In:ACM SIGPLAN编程语言设计与实现会议,PLDI’14,第49页
[47] Oh,H.、Lee,W.、Heo,K.、Yang,H.和Yi,K.:由影响预分析指导的选择性x敏感分析。ACM Trans Program Lang Syst语言系统38(2),6(2016)
[48] Dalla Preda,M.,Giacobazzi,R.,Debray,S.K.:通过对代码属性的抽象解释揭示变质作用。《Theor Compute Sci》577,74-97(2015)·Zbl 1309.68044号 ·doi:10.1016/j.tcs.2015.02.024
[49] Reps T,Horwitz S,Sagiv M(1995)通过图形可达性进行过程间数据流精确分析。摘自:第22届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL’95,第49-61页·Zbl 1496.68079号
[50] Rival,X.,Mauborgne,L.:跟踪分区抽象域。ACM Trans Program Lang Syst 29(5)、26(2007)·doi:10.1145/1275497.1275501
[51] Scholz W,Thüm T,Apel S,Lengauer C(2011)使用java建模语言自动检测特征交互:经验报告。在:软件产品线第15届国际会议,SPLC 2011,研讨会论文集,第2卷。ACM,第7页
[52] Thüm T、Apel S、Kästner C、Schaefer I、Saake G(2014)《软件产品线分析策略的分类和调查》。ACM计算概况47(1):6:1-6:45
[53] ter Beek,M.H.,Fantechi,A.,Gnesi,S.,Mazzanti,F.:产品族可变性建模和分析:具有可变性约束的模态转换系统的模型检查。J Log Algebr方法计划85(2),287-315(2016)·Zbl 1351.68170号 ·文件编号:10.1016/j.jlamp.2015.11.006
[54] Urban C,MinéA(2014)证明条件终止的决策树抽象域。在:静态分析第21届国际研讨会,SAS 2014。LNCS第8723卷,Springer,第302-318页
[55] von Rhein A(2016)可配置系统的分析策略。德国帕绍大学博士论文
[56] Vallée-Rai R,Co P,Gagnon e,Hendren L,Lam P,Sundaresan V(1999)Soot-a java字节码优化框架。摘自:1999年协作研究高级研究中心会议记录(CASCON'99),IBM出版社,第13页
[57] 温斯克尔:编程语言的形式语义。麻省理工学院出版社,剑桥,计算基础系列(1993)·Zbl 0919.68082号
[58] Zhang X,Naik M,Yang H(2013)在参数数据流分析中寻找最佳抽象。在:关于编程语言设计和实现的ACM SIGPLAN会议,PLDI’13,第365-376页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。