69 search results - page 13 / 14 » The COPS Security Checker System |
OOPSLA
2010
Springer
13 years 4 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
EMSOFT
2005
Springer
13 years 11 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
ASPLOS
2010
ACM
14 years 18 days ago
2010
ACM
Instruction-grain lifeguards monitor the events of a running application at the level of individual instructions in order to identify and help mitigate application bugs and securi...
IEEEPACT
2009
IEEE
14 years 11 days ago
2009
IEEE
Abstract—As programmers are asked to manage more complicated parallel machines, it is likely that they will become increasingly dependent on tools such as multi-threaded data rac...
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...