The activities focused on the organisation of the first school and  activities on WP2. More specifically, we worked on the design, collection  and summarisation of the data reported in the survey reported in deliverable D.2.1; we also discussed about the identification  of use-cases (T.2.1). We started to explore alternatives for test generation (T.2.6) by combining ChorGram with EvoSuite (T.4.2). In particular, we focused on static verification approaches (T.2.2). 

Leave a Reply