612 search results - page 44 / 123 » Using Static Analysis to Improve Automatic Test Generation |
CIKM
2001
Springer
15 years 4 months ago
2001
Springer
We describe a model-based filtering application that generates candidate case-to-case distinguishing citations. We developed the system to aid editors in identifying indirect rela...
KBSE
2000
IEEE
15 years 3 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
CHI
2009
ACM
16 years 13 days ago
2009
ACM
Context-aware intelligent systems employ implicit inputs, and make decisions based on complex rules and machine learning models that are rarely clear to users. Such lack of system...
CSMR
2007
IEEE
15 years 6 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
LREC
2008
15 years 1 months ago
2008
The ultimate goal when building dialogue systems is to satisfy the needs of real users, but quality assurance for dialogue strategies is a non-trivial problem. The applied evaluat...