3889 search results - page 478 / 778 » The Use of Program Dependence Graphs in Software Engineering |
166
click to vote
KBSE
2007
IEEE
16 years 12 days ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
178
Voted
MOMPES
2006
IEEE
16 years 4 days ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
175
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Given the increasing dependence of our societies on networked information systems, the overall security of these systems should be measured and improved. Existing security metrics...
177
click to vote
ICST
2009
IEEE
16 years 24 days ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
151
click to vote
SEFM
2009
IEEE
16 years 26 days ago
2009
IEEE
—Contracts and their composition may be used with different goals in a component-based design flow: on the one hand, a component contract describes the guarantees a component is...