2419 search results - page 257 / 484 » A Formal Approach to Software Testing |
139
click to vote
CSMR
2004
IEEE
15 years 8 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
136
click to vote
COORDINATION
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
236
click to vote
ENTCS
2002
15 years 4 months ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
146
click to vote
IWMM
2010
Springer
15 years 9 months ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
119
click to vote
COCO
2003
Springer
15 years 9 months ago
2003
Springer
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...