4722 search results - page 119 / 945 » Encoding Program Executions |
104
click to vote
QSIC
2007
IEEE
15 years 8 months ago
2007
IEEE
Recent research showed that the majority of compatibility-breaking changes in a component-based, object-oriented software system are refactorings [5]. The software updating proces...
115
click to vote
SEFM
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
131
click to vote
EUROMICRO
2005
IEEE
15 years 7 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
137
click to vote
VL
2005
IEEE
15 years 7 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
137
click to vote
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...