Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring

No abstract is available for this paper.

• Publication year

  2014

• Venue

  2014 IEEE Seventh International Conference on Software Testing, Verification and Validation

• Publication date

  2014-03-31

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2700529
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• World Wide Web Consortium

  2020cited by this paper
• A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments

  2012cited by this paper
• Runtime Enforcement of Web Service Message Contracts with Data

  2012influential reference
• An overview of the MOP runtime verification framework

  2011cited by this paper
• Repairing Games at Runtime or, How We Learned to Stop Worrying and Love Emergence

  2011cited by this paper
• Electronic Communications of the EASST Volume 36 ( 2010 ) Proceedings of the Workshop on OCL and Textual Modelling ( OCL 2010 ) OCL-based Runtime Monitoring of JVM hosted Applications

  2011cited by this paper
• TraceContract: A Scala DSL for Trace Analysis

  2011cited by this paper
• What went wrong: a taxonomy of video game bugs

  2010cited by this paper
• LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)

  2009influential reference
• A brief account of runtime verification

  2009cited by this paper
• Resource bound analysis for database queries

  2008cited by this paper
• An EFSM-Based Passive Fault Detection Approach

  2007cited by this paper
• Collaborative Runtime Verification with Tracematches

  2007cited by this paper
• Temporal Assertions using AspectJ

  2006cited by this paper
• Do usability expert evaluation and test provide novel and useful data for game development

  2006cited by this paper
• A passive testing approach based on invariants: application to the WAP

  2005cited by this paper
• Relational queries over program traces

  2005cited by this paper
• Finding application errors and security flaws using PQL: a program query language

  2005cited by this paper
• A formal approach for passive testing of protocol data portions

  2002cited by this paper
• Getting started with ASPECTJ

  2001cited by this paper
• IRM enforcement of Java stack inspection

  2000cited by this paper
• XML Path Language (XPath) Version 1.0

  1999influential reference
• Abstract syntax notation-one (ASN.1)

  1992cited by this paper
• IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, TSE-0209-1203 1 A Taxonomy and Catalog of Runtime Software- Fault Monitoring Tools

  year unknowncited by this paper

• FlexInstru: A flexible instrumentation framework for tracing long-running native workloads

  2026cites this paper
• A theory of fine-grained lineage for functions on structured objects

  2025cites this paper
• A Literature Review of Software Testing Practices and Frameworks in the Video Gaming Industry

  2025cites this paper
• SNERC: Enhancing Knowledge Management with Named Entity Recognition and Document Classification for Apply Gaming

  2025cites this paper
• Prioritizing Large-Scale Natural Language Test Cases at OPPO

  2025cites this paper
• Automatic Bug Detection in LLM-Powered Text-Based Games Using LLMs

  2024cites this paper
• How to Measure Game Testing: A Survey of Coverage Metrics

  2024cites this paper
• Improving Bug Reproduction Through Game Engine State Analysis

  2024cites this paper
• Know Your Bugs: A Survey of Issues in Automated Game Testing Literature

  2024influential citation
• Searching Bug Instances in Gameplay Video Repositories

  2024cites this paper
• Uncertainty in runtime verification: A survey

  2023cites this paper
• Dungeons & Replicants II: Automated Game Balancing Across Multiple Difficulty Dimensions via Deep Player Behavior Modeling

  2023cites this paper
• Video game performance analysis on selected operating systems

  2023cites this paper
• Low-illumination image enhancement with logarithmic tone mapping

  2023cites this paper
• Prioritizing Natural Language Test Cases Based on Highly-Used Game Features

  2023cites this paper
• Debugging Video Games: A Systematic Mapping

  2023cites this paper
• A catalogue of game-specific anti-patterns based on GitHub and Game Development Stack Exchange

  2023cites this paper
• Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines

  2023cites this paper
• A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

  2023cites this paper
• A modular pipeline for enforcement of security properties at runtime

  2023cites this paper
• Game Balance Practices

  2022cites this paper
• A deep reinforcement learning technique for bug detection in video games

  2022cites this paper
• CLIP meets GamePhysics: Towards bug identification in gameplay videos using zero-shot transfer learning

  2022cites this paper
• Learning to Identify Perceptual Bugs in 3D Video Games

  2022cites this paper
• A Video Game Testing Method Utilizing Deep Learning

  2021cites this paper
• Model Checking of Stream Processing Pipelines

  2021cites this paper
• A Survey of Software Log Instrumentation

  2021cites this paper
• Supporting Named Entity Recognition and Document Classification for Effective Text Retrieval

  2021cites this paper
• A Catalogue of Game-Specific Software Nuggets

  2020cites this paper
• Explainable Queries over Event Logs

  2020cites this paper
• Smart Contracts-Enabled Simulation for Hyperconnected Logistics

  2020cites this paper
• Automata-based monitoring for LTL-FO+\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^+$$\end{document}

  2020cites this paper
• A Catalogue of Game-Specific Anti-Patterns

  2020cites this paper
• Dungeons & Replicants: Automated Game Balancing via Deep Player Behavior Modeling

  2020cites this paper
• The Case for Usable AI: What Industry Professionals Make of Academic AI in Video Games

  2020cites this paper
• Video Game Automated Testing Approaches: An Assessment Framework

  2020influential citation
• Supporting Named Entity Recognition and Document Classification in a Knowledge Management System for Applied Gaming

  2020cites this paper
• Kwiri - What, When, Where and Who: Everything You Ever Wanted to Know About Your Game But Didn't Know How to Ask

  2019cites this paper
• Automated Video Game Testing Using Synthetic and Humanlike Agents

  2019cites this paper
• Predictive Analytics for Event Stream Processing

  2019cites this paper
• Detecting trend deviations with generic stream processing patterns

  2019cites this paper
• GAMESPECT: A Composition Framework and Meta-Level Domain Specific Aspect Language for Unreal Engine 4

  2019cites this paper
• Writing Domain-Specific Languages for BeepBeep

  2018cites this paper
• AI-Assisted Game Debugging with Cicero

  2018cites this paper
• Domain-Specific Languages for BeepBeep : 18 th International Conference

  2018cites this paper
• Application of combinatorial tests in video game testing

  2017cites this paper
• An International Workshop on Competitions , Usability , Benchmarks , Evaluation , and Standardisation for Runtime Verification Tools Event Stream Processing with BeepBeep 3

  2017cites this paper
• From Complex Event Processing to Simple Event Processing

  2017cites this paper
• Runtime Verification

  2016cites this paper
• Second International Competition on Runtime Verification CRV 2015

  2016cites this paper
• Experimental Design in Game Testing

  2016influential citation
• When RV Meets CEP

  2016cites this paper
• A Declarative Language Interpreter for CEP

  2015cites this paper
• A generalized monitor verdict for log trace triaging

  2015cites this paper
• Proceedings of the 2nd EICS Workshop on Engineering Interactive Computer Systems with SCXML

  2014cites this paper
• Portable Runtime Verification with Smartphones and Optical Codes

  2014cites this paper
• 2016 Ieee International Conference on Big Data (big Data) a Glue Language for Event Stream Processing

  year unknowncites this paper