Abstract :
The following topics are dealt with: fault localisation; testing and defect detection; performance, real-time and safety; measurement; model based testing; validation, evaluation, and transformation; quality and security; and workshop WS-FMDS.
Keywords :
program testing; program verification; real-time systems; security of data; software fault tolerance; software performance evaluation; software quality; WS-FMDS; real-time software; software defect detection; software evaluation; software fault localisation; software measurement; software model based testing; software performance; software quality; software safety; software security; software testing; software transformation; software validation;
