74 search results - page 11 / 15 » Using Metamorphic Testing to Improve Dynamic Symbolic Execut... |
AIPS
2006
13 years 8 months ago
2006
Planning for partially observable, nondeterministic domains is a very signi cant and computationally hard problem. Often, reasonable assumptions can be drawn over expected/nominal...
DCC
2002
IEEE
14 years 6 months ago
2002
IEEE
With the emergence of software delivery platforms such as Microsoft's .NET, code compression has become one of the core enabling technologies strongly affecting system perfor...
WSE
2002
IEEE
13 years 11 months ago
2002
IEEE
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...
PDCAT
2009
Springer
14 years 1 months ago
2009
Springer
—We have proposed an auto-memoization processor. This processor automatically and dynamically memoizes both functions and loop iterations, and skips their execution by reusing th...
ISSTA
2010
ACM
13 years 8 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...