2302 search results - page 62 / 461 » Testing as Abstraction |
105
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. One of the fastest evolving field among teaching and learning research is students' performance evaluation. Computer based testing systems are increasingly adopted b...
162
click to vote
ICST
2008
IEEE
16 years 1 days ago
2008
IEEE
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
131
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
161
click to vote
ICSEA
2007
IEEE
15 years 12 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
152
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...