2969 search results - page 61 / 594 » The Case for User-Centered CASE Tools |
137
Voted
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
116
click to vote
ICCBR
1999
Springer
15 years 8 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
170
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
139
Voted
APSEC
2008
IEEE
15 years 11 months ago
2008
IEEE
Test case prioritization techniques have been empirically proved to be effective in improving the rate of fault detection in regression testing. However, most of previous techniqu...
127
click to vote
CASES
2006
ACM
15 years 8 months ago
2006
ACM
This paper proposes an efficient method to analyze worst case interruption delay (WCID) of a workload running on modern microprocessors using a cycle accurate simulator (CAS). Our...