2016.08.03 | CASA , Awards, Public/media, Staff, Students, Private and public companies, Alumni
At the 2016 ACM SIGSOFT International Symposium on Software Testing and Analysis, the Distinguished Paper Award was presented to Christoffer Quist Adamsen, Gianluca Mezzetti, and Anders Møller for the article "Analysing Test Completeness for Dynamic Languages".
2016.07.01 | CASA
"Message Safety in Dart" by Erik Ernst, Anders Møller, Mathias Schwarz, and Fabio Strocco. Unlike traditional static type checking, the type system in the Dart programming language is unsound by design, even for fully annotated programs. The rationale has been that this allows compile-time detection of likely errors and enables code completion…
2016.06.06 | Research news, CASA , Public/media, Staff, Students
In dynamically typed programming languages, type errors can occur at runtime. Executing the test suites that often accompany programs may provide some confidence about absence of such errors, but generally without any guarantee. We present a program analysis that can check whether a test suite has sufficient coverage to prove a given type-related…
2016.04.14 | CASA , Awards, Research news, Staff, Students, Public/media
2016.03.04 | CASA
The article "Trace Typing: An Approach for Evaluating Retrofitted Type Systems" by Esben Andreasen et al. has been accepted at ECOOP 2016.
2016.03.01 | CASA
Martin Torp joined the CASA team as a Student Programmer on March 1.
2015.09.01 | People , CASA
Hamid A. Toussi started as PhD Student on September 1, 2015. He holds a MSc in Computer Science and a BSc in Computer Engineering. Before starting his PhD studies, Hamid worked as a Software Engineer and university instructor for a few years in Mashhad, Iran.
Read the abstract ISSTA'15 symposium website
Mathias Vorreiter Pedersen started as PhD student on August 1 2015
2015.08.10 | CASA
Benjamin Barslev Nielsen started as PhD student on August 1 2015