1057 search results - page 100 / 212 » Testing from Formal Specifications, a Generic Approach |
CONCURRENCY
2008
13 years 9 months ago
2008
This paper presents a new service-oriented approach to the design and implementation of visualization systems in a Grid computing environment. The approach evolves the traditional...
KDD
2006
ACM
14 years 9 months ago
2006
ACM
Existing research on mining quantitative databases mainly focuses on mining associations. However, mining associations is too expensive to be practical in many cases. In this pape...
AMOST
2007
ACM
14 years 1 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
ACSC
2004
IEEE
14 years 24 days ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
RE
2001
Springer
14 years 1 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...