944 search results - page 135 / 189 » Software model checking without source code |
126
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
127
click to vote
FUIN
2008
15 years 2 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
128
click to vote
RV
2010
Springer
15 years 14 days ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
132
click to vote
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
155
click to vote
KBSE
2010
IEEE
15 years 15 days ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...