2026 search results - page 387 / 406 » Tools for Test Case Generation |
128
Voted
CACM
1998
15 years 1 months ago
1998
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...
149
Voted
INFSOF
2010
14 years 11 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
120
click to vote
BIOINFORMATICS
2011
14 years 8 months ago
2011
Motivation: Over the recent years, the vision that RNA simply serves as information transfer molecule has dramatically changed. The study of the sequence/structure/function relati...
109
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
95
Voted
CHI
2005
ACM
16 years 2 months ago
2005
ACM
Usability problems predicted by evaluation techniques are useful input to systems development; it is uncertain whether redesign proposals aimed at alleviating those problems are l...