612 search results - page 13 / 123 » Using Static Analysis to Improve Automatic Test Generation |
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
TSE
1998
13 years 8 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...
JSS
2002
13 years 8 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
ACL
2009
13 years 6 months ago
2009
We demonstrate that the bidirectionality of deep grammars, allowing them to generate as well as parse sentences, can be used to automatically and effectively identify errors in th...
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
Statistical static timing analysis (SSTA) has become a key method for analyzing the effect of process variation in aggressively scaled CMOS technologies. Much research has focused...