620 search results - page 7 / 124 » Abstract Analysis of Symbolic Executions |
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...
FASE
2012
Springer
12 years 3 months ago
2012
Springer
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
MEMOCODE
2003
IEEE
14 years 19 days ago
2003
IEEE
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
ENTCS
2010
13 years 4 months ago
2010
ional Workshop on Numerical and Symbolic Abstract Domains NSAD 2010 I.0.1I.0.1