1199 search results - page 70 / 240 » Software Verification and Software Engineering a Practitione... |
131
click to vote
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...
134
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
133
click to vote
ISPW
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...
164
click to vote
REFSQ
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. [Context and motivation] With increasing use of software, quality attributes grow in relative importance. Robustness is a software quality attribute that has not received...
145
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...