3544 search results - page 304 / 709 » Software Testing |
191
click to vote
ISESE
2006
IEEE
16 years 19 days ago
2006
IEEE
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
172
click to vote
INFSOF
2007
15 years 6 months ago
2007
Business has been highlighted as a one of the critical dimensions of software product line engineering. This paper’s main contribution is to increase the understanding of the in...
167
Voted
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
205
Voted
EMSOFT
2004
Springer
16 years 18 hour ago
2004
Springer
Basic retiming is an algorithm originally developed for hardware optimization. Software pipelining is a technique proposed to increase instruction-level parallelism for parallel p...
180
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
Software architecture visualization tools tend to support browsing, that is, exploration by following concepts. If architectural diagrams are to be used during daily software main...