3527 search results - page 89 / 706 » Test Automation in Practice |
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
144
click to vote
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Given societies’ massive investment in information technology and the potentially catastrophic consequences of IT failures, it is becoming increasingly critical to understand ho...
ACMICEC
2003
ACM
15 years 3 months ago
2003
ACM
The Platform for Privacy Preferences (P3P) provides a standard computer-readable format for privacy policies and a protocol that enables web browsers to read and process these pol...
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
TCAD
2008
14 years 9 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...