Sciweavers

443 search results - page 22 / 89
» Testing for Software Vulnerability Using Environment Perturb...
Sort
View
WETICE
2005
IEEE
15 years 5 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
PASTE
2010
ACM
15 years 4 months ago
Opportunities for concurrent dynamic analysis with explicit inter-core communication
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...
Jungwoo Ha, Stephen P. Crago
SIGSOFT
2010
ACM
14 years 9 months ago
Bridging gaps between developers and testers in globally-distributed software development
One of the main challenges in distributed development is ensuring effective communication and coordination among the distributed teams. In this context, little attention has been ...
Mark Grechanik, James A. Jones, Alessandro Orso, A...
AUIC
2006
IEEE
15 years 5 months ago
Evaluation of a universal interaction and control device for use within multiple heterogeneous display ubiquitous environments
This paper provides an insight into the usability of our Universal Interaction Controller (UIC), a user interface device designed to support interactions in ubiquitous computing e...
Hannah Slay, Bruce H. Thomas
SIGSOFT
2003
ACM
16 years 13 days ago
A family of test adequacy criteria for database-driven applications
Although a software application always executes within a particular environment, current testing methods have largely ignored these environmental factors. Many applications execut...
Gregory M. Kapfhammer, Mary Lou Soffa