3547 search results - page 563 / 710 » Pseudo-Exhaustive Testing for Software |
188
click to vote
IFIP
2007
Springer
16 years 20 days ago
2007
Springer
Process control systems (PCSs) are instrumental to the safe, reliable and efficient operation of many critical infrastructure components. However, PCSs increasingly employ commodit...
158
click to vote
CSMR
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper describes our experiences of applying dynamic analysis solutions on an industrial legacy application written in C, with the help of Aspect Orientation (AO). We use a nu...
160
click to vote
SEFM
2006
IEEE
16 years 16 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
172
click to vote
ISSTA
2006
ACM
2006
ACM
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
16 years 15 days ago
Distributed hard real-time systems have become a major component of many advanced technical products. Means to ensure their proper quality are thus of paramount importance. To ens...
149
click to vote
IUI
2006
ACM
16 years 15 days ago
2006
ACM
This paper presents a community of communicating embodied agents which learn an adjacency-based grammar from user interactions. The agents act as intelligent fridge magnets, each ...