Title :
IEE Colloquium on `Software Testing for Critical Systems´ (Digest No.108)
Abstract :
The following topics were dealt with: software testing practice; symbolic execution; mutation testing; static analysis; dynamic conformance analysis; software development; reliability conservation; and development methods
Keywords :
conformance testing; program testing; software reliability; software reusability; symbol manipulation; critical systems; dynamic conformance analysis; mutation testing; reliability conservation; software development; software testing; static analysis; symbolic execution;
Conference_Titel :
Software Testing for Critical Systems, IEE Colloquium on
Conference_Location :
London
