2419 search results - page 384 / 484 » A Formal Approach to Software Testing |
127
Voted
ISSTA
1998
ACM
15 years 6 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
119
Voted
SP
2010
IEEE
15 years 6 months ago
2010
IEEE
The computer systems security arms race between attackers and defenders has largely taken place in the domain of software systems, but as hardware complexity and design processes ...
162
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Since critical socio-technical systems include people interacting with equipments in workplaces, their intrinsic reliability problems have been concerned with both these two "...
116
Voted
BCSHCI
2008
15 years 4 months ago
2008
Although approaches to User Centered Software Development have existed for almost 20 years a rift still exists between theory and practice. In practice, many software projects are...
141
Voted
CASES
2010
ACM
15 years 19 days ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...