3792 search results - page 334 / 759 » Techniques for Trusted Software Engineering |
176
click to vote
CGO
2003
IEEE
16 years 5 hour ago
2003
IEEE
Run-time code generation is a well-known technique for improving the efficiency of programs by exploiting dynamic information. Unfortunately, the difficulty of constructing run-...
138
click to vote
COMPSAC
2003
IEEE
16 years 5 hour ago
2003
IEEE
Complete interaction testing of components is too costly in all but the smallest systems. Yet component interactions are likely to cause unexpected faults. Recently, design of exp...
174
click to vote
QSIC
2003
IEEE
15 years 12 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
173
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Literature shows that over the years numerous techniques for estimating development effort have been suggested, derived from late project measures. However, to the successful mana...
168
click to vote
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,...