1760 search results - page 222 / 352 » A System to Mark Programs Automatically |
168
Voted
JCS
2008
15 years 3 months ago
2008
Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...
135
Voted
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
120
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: User-scripts are programs stored in Web browsers that can manipulate the content of websites prior to display in the browser. They provide a novel mechanism by which u...
125
Voted
WCRE
2006
IEEE
15 years 9 months ago
2006
IEEE
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static asp...
98
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...