Keywords :
computer testing; distributed programming; fault tolerant computing; mobile computing; numerical analysis; program testing; real-time systems; software reliability; software tools; system recovery; algorithm dependability; consistency; dependable systems; fault tolerance models; group oriented systems; hardware architecture; mobile communications; real time systems; replication; run-time error detection; security; software robustness; software tools; survivability; system modelling; testing; wireless communications;
