摘要
李·安德森。 2000.假日十大Linux游戏。 可在 网址：http://www.cnn.com。 谷歌学者 
霍华德·巴林格和克劳斯·哈夫隆德。 2011.TraceContract：用于跟踪分析的scala DSL。 FM 2011：正式方法。 计算机科学讲义，第6664卷。 施普林格，57-72。 谷歌学者 数字图书馆 
Emmanuel Bayse、Ana R.Cavalli、Manuel Nüñez和Fatiha Zaidi。 2005.基于不变量的被动测试方法：应用于WAP。 计算机网络48，2，235--245。 谷歌学者 数字图书馆 埃里克·博登（Eric Bodden）、劳里·亨德伦（Laurie J.Hendren）、帕特里克·林（Patrick Lam）、昂德雷·洛塔克（Ondrej Lhoták）和诺玛尔·纳伊姆（Nomair A.Naeem）。 2010.使用tracematches进行协作运行时验证。 《逻辑与计算杂志》20，3707-723。 谷歌学者 数字图书馆 Bucket Bros.2007年。 有史以来最糟糕的视频游戏错误：从游戏结束的故障到数据破坏的噩梦。 2016年12月28日检索自 http://www.bucketbros.com/text/worst-videogame-bugs.html。 谷歌学者 杰罗姆·卡尔瓦尔、拉斐尔·特伦布雷·利萨德和西尔万·霍尔。 2012.具有非原始参数的事件流的运行时监控框架。 在2012年IEEE第五届软件测试、验证和确认国际会议（ICST'12）的会议记录中。 IEEE，加利福尼亚州洛斯阿拉米托斯，499-508。 谷歌学者 数字图书馆 詹姆斯·克拉克和史蒂夫·德罗斯。 1999.XML路径语言（XPath）1.0版，W3C建议。 2016年12月28日检索自 网址：http://www.w3.org/TR/xpath 谷歌学者 克里斯蒂安·科伦坡（Christian Colombo）、戈登·佩斯（Gordon J.Pace）和杰拉尔多·施奈德（Gerardo Schneider）。 2009年，LARVA对实时Java程序的安全监控（工具文件）。 第七届IEEE软件工程与形式化方法国际会议（SEFM'09）论文集。 IEEE，加利福尼亚州洛斯阿拉米托斯，33-37。 谷歌学者 数字图书馆 Nelly Delgado、Ann Q.Gates和Steve Roach。 2004年。运行时软件故障监测工具的分类和目录。 IEEE软件工程学报30，12，859--872。 谷歌学者 数字图书馆 史诗游戏。 2012.UnrealScript语言参考。 2016年12月28日检索自 http://udn.epicgames.com/Three/UnrealScriptReference.html。 谷歌学者 au lfar Erlingsson和Marco Pistoia（编辑）。 2008年，《2008年编程语言与安全分析研讨会论文集》（PLA'08）。 ACM，纽约州纽约市。 谷歌学者 Úlfar Erlingsson和Fred B.Schneider。 2000.Java堆栈检查的IRM实施。 IEEE安全与隐私研讨会论文集。 246到255之间。 谷歌学者 数字图书馆 巨型炸弹。 2013.NBA精英11。 2016年12月28日检索自 http://www.giantbomb.com/nba-elite-11/3030-31438。 谷歌学者 西蒙·戈德史密斯、罗伯特·奥卡拉汉和亚历山大·艾肯。 2005.程序跟踪的关系查询。 第20届ACM SIGPLAN面向对象编程、系统、语言和应用年会论文集（OOPSLA’05）。 385-402之间。 谷歌学者 数字图书馆 西尔万·霍尔和罗杰·维尔梅尔。 2012.使用数据执行Web服务消息契约的运行时强制。 IEEE服务计算汇刊5，2，192--206。 谷歌学者 数字图书馆 拉尔斯·哈曼（Lars Hamann）、马丁·戈戈拉（Martin Gogolla）和米尔科·库尔曼（Mirco Kuhlmann）。 2011.基于OCL的JVM托管应用程序运行时监控。 EASST 44的电子通信，1--20。 谷歌学者 大卫·赫斯普里奇。 1998年，《QuakeC参考手册》。 技术报告。 2016年12月28日检索自 http://pages.cs.wisc.edu/ jeremyp/trake/quakec/quakec.pdf。 谷歌学者 点火。 2011.缺陷和故障。 打破游戏规则的《英雄之歌》（Song of the Hero）闪亮登场。 2016年12月28日检索自 http://ca.ign.com/wikis/the-legend-of-zelda-skyward-sword/Bugs_and_Glitches。 谷歌学者 国际电信联盟。 2008.抽象语法符号一（ASN.1）：基本符号规范。 技术报告ITU建议X.680。 国际电信联盟，瑞士日内瓦。 谷歌学者 Gregor Kiczales、Erik Hilsdale、Jim Hugunin、Mik Kersten、Jeffrey Palm和William G.Griswold。 2001.AspectJ入门。 ACM通信44、10、59--65。 谷歌学者 数字图书馆 索利·莱蒂宁。 2006.可用性专家评估和测试是否为游戏开发提供了新颖有用的数据？ 可用性研究杂志1，2，64-75。 谷歌学者 数字图书馆 David Lee、Dongluo Chen、Ruibing Hao、Raymond E.Miller、Jianping Wu和Xia Yin。 2002.协议数据部分被动测试的正式方法。 第十届IEEE网络协议国际会议（ICNP'02）论文集。 IEEE，加利福尼亚州洛斯阿拉米托斯，122-131。 谷歌学者 数字图书馆 Martin Leucker和Christian Schallhart。 2009.运行时验证的简要说明。 逻辑与代数程序设计杂志78，5，293--303。 谷歌学者 交叉引用 
克里斯·刘易斯和吉姆·怀特黑德。 2011年，在运行时修复游戏，或者我们如何学会停止担忧，热爱出现。 IEEE软件28、5、53--59。 谷歌学者 数字图书馆 克里斯·刘易斯（Chris Lewis）、吉姆·怀特黑德（Jim Whitehead）和诺亚·沃德里普·弗鲁伊（Noah Wardrip-Fruin）。 2010年，出了什么问题：视频游戏漏洞分类。 第五届数字游戏基础国际会议论文集（FDG'10）。 ACM，纽约州纽约市，108-115。 谷歌学者 数字图书馆 Linux链接。 2009.42更多最佳免费Linux游戏。 技术报告。 2016年12月28日检索自 http://www.linuxlinks.com/article/20080522164112313/Games-Part2.html。 谷歌学者 Michael C.Martin、V.Benjamin Livshits和Monica S.Lam。 2005.使用PQL查找应用程序错误和安全缺陷：一种程序查询语言。 第20届ACM SIGPLAN面向对象编程、系统、语言和应用年会论文集（OOPSLA’05）。 365--383. 谷歌学者 数字图书馆 帕特里克·奥尼尔·梅雷迪斯（Patrick O'Neil Meredith）、金东云（Dongyun Jin）、丹尼斯·格里菲斯（Dennis Griffith）、冯晨（Feng Chen）和格里戈·罗什（Grigore Rošu）。 2012.MOP运行时验证框架概述。《国际技术转让软件技术期刊》14，3，249--289。 谷歌学者 交叉引用 查尔斯·舒尔茨和罗伯特·布莱恩特。 2011.游戏测试一体机。 Mercury Learning&Information，弗吉尼亚州Herndon。 谷歌学者 Volker Stolz和Eric Bodden。 2006.使用AspectJ的时间断言。 理论计算机科学电子笔记144，4，109--124。 谷歌学者 数字图书馆 哈桑·乌拉尔和智旭。 2007年。基于EFSM的被动故障检测方法。 在TestCom/Fates中。 计算机科学讲义，第4581卷。 施普林格，335-350。 谷歌学者 数字图书馆 万维网联盟。 2005.XML二进制特征工作组公共页面。 2016年12月28日检索自 http://www.w3.org/XML/Binary/。 谷歌学者
建议
视频游戏中的自动错误发现：运行时监控的案例研究 ICST’14：2014年IEEE软件测试、验证和确认国际会议论文集 运行时验证是观察由运行中的系统生成的事件序列，并将其与某些正式规范进行比较以确定潜在违规的过程。 我们展示了如何使用运行时监视器可以大大加快测试阶段。。。 视频游戏中沉浸感和吸引力之间的相互作用 本文介绍了一项关于视频游戏沉浸感和吸引力的2í2研究。 沉浸感和吸引力是高度相关的。 沉浸被发现不受游戏经验的影响。 上诉被发现受到游戏和游戏体验的影响。。。 调试正式规范：一种使用基于模型的诊断和反策略的实用方法 为设计创建正式规范是一个容易出错的过程。 同时，调试不正确的规范很困难，也很耗时。 在这项工作中，我们提出了一种形式化规范的调试方法，它不需要。。。
