2419 search results - page 123 / 484 » A Formal Approach to Software Testing |
117
click to vote
EOR
2006
15 years 3 months ago
2006
We propose a multivariate statistical framework for regional development assessment based on structural equation modelling with latent variables and show how such methods can be c...
114
click to vote
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...
115
Voted
UML
2004
Springer
15 years 8 months ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
170
Voted
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
119
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
The incorporation of context-awareness capabilities into pervasive applications allows them to leverage contextual information to provide additional services while maintaining an ...