6293 search results - page 295 / 1259 » Information Flow Testing |
118
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
143
Voted
AVI
2006
15 years 6 months ago
2006
Tabletop displays provide exciting opportunities to support individual and collaborative activities such as planning, organizing, and storyboarding. It has been previously suggest...
162
Voted
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...
161
click to vote
ICTAC
2009
Springer
15 years 2 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
153
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...