Andreasen, E., Gong, L.
, Møller, A., Pradel, M., Selakovic, M., Sen, K. & Staicu, C-A. (2017).
A Survey of Dynamic Analysis and Test Generation for JavaScript.
A C M Computing Surveys,
50(5), 66:1-66:36.
https://doi.org/10.1145/3106739
Kristensen, E. K. & Møller, A. (2017).
Inference and Evolution of TypeScript Declaration Files. In M. Huisman & J. Rubin (Eds.),
Fundamental Approaches to Software Engineering: : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Vol. 10202, pp. 99-115). Springer VS. Lecture Notes in Computer Science Vol. 10202
https://doi.org/10.1007/978-3-662-54494-5_6
Adamsen, C. Q., Møller, A., Karim, R., Sridharan, M., Tip, F. & Sen, K. (2017).
Repairing Event Race Errors by Controlling Nondeterminism. In
Proceedings of the 39th International Conference on Software Engineering (pp. 289-299). IEEE Press. ICSE '17
https://doi.org/10.1109/ICSE.2017.34
Livshits, B., Sridharan, M., Smaragdakis, Y., Lhoták, O., Amaral, J. N., Chang, B-Y. E., Guyer, S. Z., Khedker, U. P.
, Møller, A. & Vardoulakis, D. (2015).
In Defense of Soundiness: A Manifesto.
Communications of the A C M,
58(2).
https://doi.org/10.1145/2644805
Jensen, C. S., Møller, A., Raychev, V., Dimitrov, D. & Vechev, M. (2015).
Stateless Model Checking of Event-Driven Applications. In
OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (pp. 57-73). Association for Computing Machinery. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications
https://doi.org/10.1145/2814270.2814282