5668 search results - page 845 / 1134 » The case for software evolution |
176
click to vote
QSIC
2007
IEEE
16 years 28 days ago
2007
IEEE
Web application testers need automated, effective approaches to validate the test results of complex, evolving web applications. In previous work, we developed a suite of automate...
138
click to vote
SCAM
2007
IEEE
16 years 28 days ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
156
click to vote
SCAM
2007
IEEE
16 years 28 days ago
2007
IEEE
—The access of information systems to underlying relational databases is commonly programmed using embedded SQL queries. Such embedded queries may take the form of string literal...
169
click to vote
SEFM
2007
IEEE
16 years 28 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
168
click to vote
TASE
2007
IEEE
16 years 28 days ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...