900 search results - page 94 / 180 » Object-Oriented Software Testing: Some Research and Developm... |
116
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
159
click to vote
CLEIEJ
2007
15 years 1 months ago
2007
Effective cost estimation is the most challenging activity in software development. Software cost estimation is not an exact science. Cost estimation process involves a series of ...
101
click to vote
ICFEM
2009
Springer
15 years 6 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
ICWS
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...
110
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...