阿德里安·帕拉西奥斯;德国维达尔 通过程序插入进行函数编程的并发执行。 (英语) 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格式引用 \textit{A.Palacios}和\textit{G.Vidal},莱克特。注释计算。科学。9527、277--292(2015;Zbl 1473.68039) 全文: 内政部 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。