1057 search results - page 64 / 212 » Testing from Formal Specifications, a Generic Approach |
137
click to vote
ACMSE
2005
ACM
15 years 5 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
124
Voted
ERSHOV
2003
Springer
15 years 8 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
108
click to vote
CHI
2007
ACM
16 years 3 months ago
2007
ACM
Many collaborative design tools may suffer from being too generic to address the specific complexities inherent in multidisciplinary collaboration. We provide accounts of several ...
146
Voted
DILS
2009
Springer
15 years 10 months ago
2009
Springer
Probabilistic functional integrated networks are powerful tools with which to draw inferences from high-throughput data. However, network analyses are generally not tailored to spe...
118
click to vote
ECBS
2005
IEEE
15 years 9 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...