90
Voted
CAISE
2015
Springer
9 years 11 months ago
2015
Springer
Software quality of apps often is low, which at least partly results from problems with testing them. A main problem are frequent context changes that have to be dealt with. Networ...
85
Voted
CAISE
2015
Springer
9 years 11 months ago
2015
Springer
People are increasingly concerned about the trustworthiness of software that they use when acting within socio-technical systems. Ideally, software development projects have to add...
93
Voted
CAISE
2015
Springer
9 years 11 months ago
2015
Springer
88
Voted
CAISE
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Considering the technological advances in touch-based devices, gesture-based interaction has become a prevalent feature in many application domains. Information systems a...
86
Voted
CAISE
2015
Springer
9 years 11 months ago
2015
Springer
In this paper we propose an approach exploiting the model checking technique to automatically refine the results produced by a Design Patterns mining tool called Design Pattern Fi...