×

通过程序插入进行函数编程的并发执行。 (英语) Zbl 1473.68039号

Falaschi,Moreno(编辑),基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9527, 277-292 (2015).
摘要:在最近的模型检查和测试用例生成方法中,结合了具体执行和符号执行的并发执行越来越受欢迎。一般来说,为了处理符号值,语言的解释器也会被扩充。相反,在本文中,我们提出了一种基于程序插装的替代方法。基本上,在标准环境中执行插入指令的程序会产生一系列事件,这些事件可用于重建相关的符号执行。
关于整个系列,请参见[Zbl 1326.68017号].

MSC公司:

68甲18 函数编程和lambda演算
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Armstrong,J.、Virding,R.、Williams,M.:《ERLANG中的并发编程》,普伦蒂斯·霍尔(Prentice Hall),恩格尔伍德·克利夫斯(Englewood Cliffs)(1993)·Zbl 0829.68014号
[2] Carlsson,R.:Core Erlang简介。摘自:PLI 2001年Erlang研讨会论文集(2001年)。http://www.erlang.se/workshop/carlsson.ps
[3] Giantsios,A.,Papaspyrou,N.S.,Sagonas,K.F.:函数语言的协和测试。摘自:《2015年PPDP会议录》,第137-148页。ACM(2015)·doi:10.1145/2790449.2790519
[4] Godefroid,P.,Klarlund,N.,Sen,K.:DART:直接自动化随机测试。摘自:《PLDI 2005年会议录》,第213-223页。ACM(2005)·数字对象标识代码:10.1145/1065010.1065036
[5] Godefroid,P.,Levin,M.Y.,Molnar,D.A.:Sage:用于安全测试的白盒模糊。Commun公司。ACM 55(3),40–44(2012)·doi:10.1145/2093548.2093564
[6] Gotovos,A.,Christakis,M.,Sagonas,K.F.:使用Conquerror的并发程序的测试驱动开发。收录于:Rikitake,K.,Stenman,E.(编辑),第十届ACM SIGPLAN Erlang研讨会论文集,第51-61页。ACM(2011)·doi:10.1145/2034654.2034664
[7] Kahn,G.:自然语义学。收录:Brandenburg,F.-J.,Vidal-Naquet,G.,Wirsing,M.(编辑),《1987年STACS会议记录》,第22-39页(1987)·Zbl 0635.68007号 ·doi:10.1007/BFb0039592
[8] King,J.C.:符号执行和程序测试。Commun公司。ACM 19(7),385–394(1976)·Zbl 0329.68018号 ·doi:10.1145/360248.360252
[9] Mesnard,F.、Payet,E.、Vidal,G.:逻辑编程中的一致性测试。西奥。实践。逻辑程序。15, 711–725 (2015) ·兹比尔1379.68078 ·doi:10.1017/S1471068415000332
[10] Pasareanu,C.S.,Rungta,N.:符号PathFinder:Java字节码的符号执行。在:Pecheur,C.,Andrews,J.,Di Nitto,E.(编辑),ASE,第179-180页。ACM(2010)·doi:10.1145/1858996.1859035
[11] Sen,K.,Marinov,D.,Agha,G.:CUTE:C的协和单元测试引擎。In:ESEC/SIGSOFT FSE 2005会议记录,第263-272页。ACM(2005)·doi:10.1145/1081706.1081750
[12] Vidal,G.:《走向Erlang中的符号执行》。收录:Voronkov,A.,Virbitskaite,I.(编辑)PSI 2014。LNCS,第8974卷,第351-360页。斯普林格,海德堡(2015)·Zbl 1434.68063号 ·doi:10.1007/978-3-662-46823-4_28
[13] Vidal,G.:Prolog中的简洁执行和测试用例生成。摘自:Proietti,M.,Seki,H.(编辑)LOPSTR 2014。LNCS,第8981卷,第167-181页。斯普林格,海德堡(2015)·Zbl 1457.68043号 ·数字对象标识代码:10.1007/978-3319-17822-6_10
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。