1. Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios

   • Adam Houser
   • Lanssie Mingyue Ma
   • Matthew L. Bolton

   Original Paper 03 October 2017 Pages: 1 - 14

   

2. Predicting different levels of the unit testing effort of classes using source code metrics: a multiple case study on open-source software

   • Fadel Toure
   • Mourad Badri
   • Luc Lamontagne

   Original Paper 16 October 2017 Pages: 15 - 46

   

3. Formal analysis of pilot error with agent safety logic

   • Seth Ahrenbach
   • Alwyn Goodloe

   Original Paper 06 January 2018 Pages: 47 - 58

   

4. Investigating structural metrics for understandability prediction of data warehouse multidimensional schemas using machine learning techniques

   • Anjana Gosain
   • Jaspreeti Singh

   Original Paper 20 December 2017 Pages: 59 - 80