351 search results - page 3 / 71 » Generating Java trace data |
SERP
2007
13 years 8 months ago
2007
FATES
2003
Springer
14 years 17 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
PLDI
2009
ACM
14 years 8 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
PICS
2003
13 years 8 months ago
2003
Color gamut characterization is an essential step in the ICC profile generation for imaging devices. It is also needed as part of evaluation and comparison of image quality achiev...
USS
2008
13 years 9 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...