1620 search results - page 80 / 324 » Testing Polymorphic Properties |
128
Voted
POPL
1999
ACM
15 years 7 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
159
Voted
APSEC
1998
IEEE
15 years 7 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
134
Voted
ACSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
Software security assurance and malware (trojans, worms, and viruses, etc.) detection are important topics of information security. Software obfuscation, a general technique that ...
151
Voted
SCSC
2007
15 years 4 months ago
2007
Abstract— Graphical variant modeling refers to a novel approach to object-oriented modeling whereby a class overrides behavior inherited from a parent class by specifying variati...
106
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...