3889 search results - page 183 / 778 » The Use of Program Dependence Graphs in Software Engineering |
166
Voted
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
158
click to vote
CSMR
2000
IEEE
15 years 8 months ago
2000
IEEE
An alternative approach to developing reusable components from scratch is to recover them from existing systems. Although numerous techniques have been proposed to recover reusabl...
106
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Given a program and an attack pattern (specified as a regular expression), we automatically generate string-based vulnerability signatures, i.e., a characterization that includes...
126
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
We demonstrate a flight meta-search engine that is based on the Metamorph framework. Metamorph provides mechanisms to model web forms together with the interactions which are need...
148
click to vote
QSIC
2003
IEEE
15 years 9 months ago
2003
IEEE
A character string is an important element in programming. A problem that needs further research is how to automatically generate software test data for character strings. This pa...