A Human-centred Framework for Combinatorial Test Design Topics: Formal Methods; Model-Driven Engineering; Software and Systems Development Methodologies; User-centered Software Engineering In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering ENASE - Volume 1, 228-233, 2016 , Rome, Italy