172 search results - page 3 / 35 » Extracting Source Code from E-Mails |
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
CORR
2011
Springer
12 years 9 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
CSMR
2005
IEEE
13 years 11 months ago
2005
IEEE
Data mining is a technology recently used in support of software maintenance in various contexts. Our works focuses on achieving a high level understanding of Java systems without...
DEXAW
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper provides an explanation of the basic data structures used in a new page analysis technique to create wrappers (data extractors) for the result pages produced by web sit...
WCRE
2005
IEEE
13 years 11 months ago
2005
IEEE
The architecture of many large software systems is rarely documented and if documented it is usually out of date. To support developers maintaining and evolving these systems, an ...