712 search results - page 110 / 143 » Software debugging, testing, and verification |
WOSS
2004
ACM
14 years 2 months ago
2004
ACM
Recently there has been increasing interest in developing systems that can adapt dynamically to cope with changing environmental conditions and unexpected system errors. Most effo...
SIGMOD
2011
ACM
12 years 12 months ago
2011
ACM
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...
ANSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Many scientific simulations are large programs which despite careful debugging and testing will probably contain errors when deployed to the Web for use. Based on the assumption ...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
An increasing number of cyber attacks are occurring at the application layer when attackers use malicious input. These input validation vulnerabilities can be exploited by (among ...