The focus of the seminar was on the computational techniques used to create, enhance, and improve the experiences of humans interacting with and within virtual environments.  ...  Different researchers in this field have different goals, including developing and testing new AI methods, creating interesting and believable non-player characters, improving the game production pipeline  ...  PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis.As an offshoot of work discussed by the PCG and Formal Design Methods group, one concrete project is to examine  ... 

Acknowledgements We wish to thank those anonymous applicants who tested the systems for us.  ...  Korat Korat [11] is a mature framework for automated testing structurally complex inputs of JAVA programs.  ...  It extends the yapp syntax with named attributes, extended BNF expressions, automatic abstract syntax tree building, syntax directed data generation, tree regular expressions, tree transformations, directed  ...