摘要
PDF章节
其他人正在查看类似内容
工具书类
Aichernig,B.K.:基于合同的测试。 In:Aichernig,B.K.(编辑)《十字路口的形式方法》。 从万灵药到基础支持。 LNCS,第2757卷,第34-48页。 斯普林格,海德堡(2003) Artzi,S.、Kiezun,A.、Dolby,J.、Tip,F.、Dig,D.、Paradkar,A.、Ernst,M.D.:在动态web应用程序中查找错误。 摘自:2008年软件测试与分析国际研讨会论文集,ISSTA 2008,第261-272页。 ACM,纽约(2008) Barnett,M.,Leino,K.R.M.,Schulte,W.:规范#编程系统:概述。 收录人:Barthe,G.、Burdy,L.、Huisman,M.、Lanet,J.-L.、Muntean,T.(编辑)CASSIS 2004。 LNCS,第3362卷,第49-69页。 斯普林格,海德堡(2005) Baudin,P.,Filliátre,J.-C.,Hubert,T.,Marché,C.,Monate,B.,Moy,Y.,Prevosto,V.:ACSL:ANSI C规范语言(初步设计V1.2)(2008) Beizer,B.:黑盒测试:软件和系统的功能测试技术。 John Wiley&Sons,Inc.,纽约(1995) Bouquet,F.、Dadeau,F.和Legeard,B.:根据JML规范自动生成边界测试。 收录:Misra,J.、Nipkow,T.、Karakostas,G.(编辑)FM 2006。 LNCS,第4085卷,第428-443页。 斯普林格,海德堡(2006) Boyapati,C.,Khurshid,S.,Marinov,D.:Korat:基于Java谓词的自动测试。 摘自:ISSTA 2002:2002年ACM SIGSOFT软件测试与分析国际研讨会论文集,第123–133页。 ACM,纽约(2002) Campbell,C.、Grieskamp,W.、Nachmanson,L.、Schulte,W.,Tillmann,N.、Veanes,M.:使用规范浏览器测试并发面向对象系统。 In:Fitzgerald,J.S.,Hayes,I.J.,Tarlecki,A.(编辑)FM 2005。 LNCS,第3582卷,第542-547页。 斯普林格,海德堡(2005) Cheon,Y.,Leavens,G.T.:一种简单实用的单元测试方法:JML和JUnit方法。 摘自:Deng,T.(编辑)ECOOP 2002。 LNCS,第2374卷,第231-255页。 斯普林格,海德堡(2002) Ciupa,I.、Leitner,A.、Oriol,M.、Meyer,B.:ARTOO:面向对象软件的自适应随机测试。 收录于:ICSE 2008:第30届国际软件工程会议记录,第71-80页。 ACM,纽约(2008) DeMillo,R.A.,Offutt,A.J.:基于约束的自动测试数据生成。 IEEE传输。 柔和。 工程17(9),900-910(1991) Enderlin,I.:Hoa框架项目(2010年), http://hoa-project.net Gligoric,M.、Gvero,T.、Jagannath,V.、Khurshid,S.、Kuncak,V.和Marinov,D.:通过UDITA编程生成测试。 在:ICSE 2010:第32届ACM/IEEE软件工程国际会议论文集,第225–234页。 ACM,纽约(2010年) Heidegger,P.,Thiemann,P.:JavaScript代码的合同驱动测试。 收录:Vitek,J.(编辑)TOOLS 2010。 LNCS,第6141卷,第154–172页。 斯普林格,海德堡(2010) Leavens,G.T.,Baker,A.L.,Ruby,C.:JML:详细设计的符号。 摘自:Kilov,H.、Rumpe,B.、Simmonds,I.(编辑)《企业和系统的行为规范》,第175-188页。 Kluwer学术出版社,波士顿(1999) Leavens,G.T.、Cheon,Y.、Clifton,C.、Ruby,C.、Cok,D.R.:JML的设计如何兼顾运行时断言检查和形式验证。 收录人:de Boer,F.S.,Bonsangue,M.M.,Graf,S.,de Roever,W.-P.(编辑)FMCO 2002。 LNCS,第2852卷,第262-284页。 斯普林格,海德堡(2003) Madsen,P.:使用契约设计和等效分区的单元测试。 收录:Marchesi,M.,Succi,G.(编辑)XP 2003。 LNCS,第2675卷,第425-426页。 斯普林格,海德堡(2003) Meyer,B.:埃菲尔:可重用性和可扩展性编程。 SIGPLAN不是。 22(2), 85–94 (1987) Meyer,B.:应用“合同设计”。 计算机25(10),40–51(1992) Oriat,C.:Jartege:Java类的单元测试随机生成工具。 收录人:Reussner,R.、Mayer,J.、Stafford,J.A.、Overhage,S.、Becker,S.和Schroeder,P.J.(编辑)QoSA 2005和SOQUA 2005。 LNCS,第3712卷,第242-256页。 斯普林格,海德堡(2005) PHP集团。 PHP网站(2010), 网址:http://www.php.net Tillmann,N.,de Halleux,J.:Pex:net的白盒测试生成。 摘自:Beckert,B.,Hähnle,R.(编辑)TAP 2008。 LNCS,第4966卷,第134-153页。 斯普林格,海德堡(2008) Visser,W.,Pásáreanu,C.s.,Khurshid,s.:使用Java PathFinder测试输入生成。 SIGSOFT软件。 工程注释29(4),97–107(2004)
作者信息
作者和附属机构
编辑器信息
编辑和附属机构
权利和权限
版权信息
关于本论文
引用本文
下载引文
内政部 : https://doi.org/10.1007/978-3-642-24580-0_6 发布者名称 : 施普林格、柏林、海德堡 打印ISBN : 978-3-642-24579-4 在线ISBN : 978-3-642-24580-0