4722 search results - page 481 / 945 » Representation-independent program analysis |
183
click to vote
KBSE
2006
IEEE
16 years 25 days ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...
204
click to vote
ACMSE
2006
ACM
16 years 24 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
192
click to vote
PPOPP
2005
ACM
16 years 11 days ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
212
click to vote
PKDD
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Orange (www.ailab.si/orange) is a suite for machine learning and data mining. It can be used though scripting in Python or with visual programming in Orange Canvas using ...
172
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...