A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
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 ...doi:10.4230/dagrep.5.1.207 dblp:journals/dagstuhl-reports/LucasMPST15 fatcat:326hvjmzcndnzgd3jyk343sc2u
Acknowledgements We wish to thank those anonymous applicants who tested the systems for us. ... Korat Korat  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 ...doi:10.4230/oasics.slate.2012 fatcat:gyzklbs3sncivkmkqwnl52r4li