Downloads

1. Adams, S.: Scott adams grand adventures, http://www.msadams.com/downloads. htm 2. Cox, A.: Scottfree interpreter, https://www.ifarchive.org/indexes/ if-archiveXscott-adamsXinterpretersXscottfree.html 3. Dietsch, D., Jakobs, M.C.: Tap 2020 virtual machine (Apr 2020), https://doi. org/10.5281/zenodo.3751284 4. Dubois, C., Wolff, B. (eds.): Tests and Proofs - 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings, Lecture Notes in Computer Science, vol. 10889. Springer (2018), https://doi.org/ 10.1007/978-3-319-92994-1 5. Fuchs, A.: Automated test case generation for java EE based web appli- cations. In: Dubois and Wolff [4], pp. 167–176, https://doi.org/10.1007/ 978-3-319-92994-1_10 6. Gibson-Robinson, T., Armstrong, P.J., Boulgakov, A., Roscoe, A.W.: FDR3 - A modern refinement checker for CSP. In: Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. Proceed- ings. pp. 187–201 (2014), https://doi.org/10.1007/978-3-642-54862-8_13 7. Holzmann, G.J.: The SPIN Model Checker - primer and reference manual. Addison- Wesley (2004) 8. Julliand, J., Kouchnarenko, O., Masson, P., Voiron, G.: Under-approximation gen- eration driven by relevance predicates and variants. In: Dubois and Wolff [4], pp. 63–82, https://doi.org/10.1007/978-3-319-92994-1_4 9. Lester, M.M.: ScAmPER: Scott Adams exPlicitly Evaluating Reachability (Mar 2020), https://doi.org/10.5281/zenodo.3724977 10. Mnih, V., Kavukcuoglu, K., Silver, D., Graves, A., Antonoglou, I., Wierstra, D., Riedmiller, M.A.: Playing atari with deep reinforcement learning. CoRR abs/1312.5602 (2013), http://arxiv.org/abs/1312.5602 11. Mnih, V., Kavukcuoglu, K., Silver, D., Rusu, A.A., Veness, J., Bellemare, M.G., Graves, A., Riedmiller, M., Fidjeland, A.K., Ostrovski, G., et al.: Human-level control through deep reinforcement learning. Nature 518(7540), 529 (2015) 12. Narasimhan, K., Kulkarni, T.D., Barzilay, R.: Language understanding for text- based games using deep reinforcement learning. In: Proceedings of the 2015 Con- ference on Empirical Methods in Natural Language Processing, EMNLP 2015, Lisbon, Portugal, September 17-21, 2015. pp. 1–11 (2015), http://aclweb.org/ anthology/D/D15/D15-1001.pdf 13. Pickett, C.J., Verbrugge, C., Martineau, F.: Nfg: A language and runtime sys- tem for structured computer narratives. In: Proceedings of the 1st Annual North American Game-On Conference (GameOn’NA 2005). pp. 23–32 (2005) 14. Taylor, M.: Scott adams compiler (sac), http://www.miketaylor.org.uk/tech/ advent/sac/ 15. Verbrugge, C., Zhang, P.: Analyzing computer game narratives. In: Entertainment Computing - ICEC 2010, 9th International Conference, ICEC 2010, Seoul, Ko- rea, September 8-11, 2010. Proceedings. pp. 224–231 (2010), https://doi.org/ 10.1007/978-3-642-15399-0_21 16. Vos, T.E.J., Kruse, P.M., Condori-Fernández, N., Bauersfeld, S., Wegener, J.: TES- TAR: tool support for test automation at the user interface level. IJISMD 6(3), 46–83 (2015), https://doi.org/10.4018/IJISMD.2015070103