Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios Adam HouserLanssie Mingyue MaMatthew L. Bolton Original Paper 03 October 2017 Pages: 1 - 14
Predicting different levels of the unit testing effort of classes using source code metrics: a multiple case study on open-source software Fadel ToureMourad BadriLuc Lamontagne Original Paper 16 October 2017 Pages: 15 - 46
Formal analysis of pilot error with agent safety logic Seth AhrenbachAlwyn Goodloe Original Paper 06 January 2018 Pages: 47 - 58
Investigating structural metrics for understandability prediction of data warehouse multidimensional schemas using machine learning techniques Anjana GosainJaspreeti Singh Original Paper 20 December 2017 Pages: 59 - 80