259 search results - page 23 / 52 » A Goal-Oriented Software Testing Methodology |
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
100
click to vote
ICSM
1999
IEEE
15 years 5 months ago
1999
IEEE
Exception-handling constructs provide a mechanism for raising exceptions, and a facility for designating protected code by attaching exception handlers to blocks of code. Despite ...
103
click to vote
ACMDIS
2006
ACM
15 years 7 months ago
2006
ACM
Think-aloud testing is a widely employed usability evaluation method, yet its use in practice is rarely studied. We report an explorative study of 14 think-aloud sessions, the aud...
128
click to vote
ASWEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
133
click to vote
EUROMICRO
2005
IEEE
15 years 7 months ago
2005
IEEE
Service Oriented Architectures and Web Services are emerging technologies, which have overall inherited problems and advantages from the component-based approach, but exacerbated ...