4079 search results - page 508 / 816 » Differential Testing for Software |
143
click to vote
ICSOC
2004
Springer
15 years 10 months ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
139
click to vote
RE
2004
Springer
15 years 10 months ago
2004
Springer
Jackson’s Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside the computer helping the developer to focus on the problem domai...
144
click to vote
SCAM
2002
IEEE
15 years 9 months ago
2002
IEEE
The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory accesses thro...
131
Voted
GPCE
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
171
click to vote
IWSAS
2001
Springer
15 years 9 months ago
2001
Springer
The idea of ubiquitous computing and smart environments is no longer a dream and has long become a serious area of research and soon this technology will start entering our every d...