612 search results - page 43 / 123 » Using Static Analysis to Improve Automatic Test Generation |
129
click to vote
WCRE
1999
IEEE
15 years 4 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
UML
2005
Springer
15 years 5 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
109
click to vote
RTAS
2009
IEEE
15 years 6 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
108
click to vote
NDSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
DAC
2005
ACM
15 years 1 months ago
2005
ACM
This paper presents a novel placement algorithm for timing optimization based on a new and powerful concept, which we term differential timing analysis. Recognizing that accurate ...