369 search results - page 58 / 74 » Execution Synthesis: A Technique for Automated Software Debu... |
132
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
134
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...
108
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
152
click to vote
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...
125
click to vote
JSS
2010
15 years 3 months ago
2010
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...