16725 search results - page 2613 / 3345 » Engineering Software Correctness |
194
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
224
click to vote
PASTE
2005
ACM
16 years 1 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
242
click to vote
AADEBUG
2005
Springer
16 years 1 months ago
2005
Springer
Dynamic slicing algorithms have been considered to aid in debugging for many years. However, as far as we know, no detailed studies on evaluating the benefits of using dynamic sl...
208
click to vote
XPU
2005
Springer
16 years 27 days ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
202
click to vote
AFP
2004
Springer
16 years 25 days ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...