Metrics for V&V of cyber defenses Martin S. FeatherJoel M. WilfJoseph Priest Original Paper 26 October 2015 Pages: 81 - 94
Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach Emil VassevMike Hinchey Original Paper 05 September 2015 Pages: 95 - 107
Security patterns modeling and formalization for pattern-based development of secure software systems B. HamidS. GürgensA. Fuchs Original Paper 08 October 2015 Pages: 109 - 140
Run-time monitoring using bounded constraint instance discovery within big data streams Doron Drusinsky Original Paper 24 December 2015 Pages: 141 - 151
Regression test size reduction using improved precision slices Chhabi Rani PanigrahiRajib Mall Original Paper 04 November 2015 Pages: 153 - 159