Verification Computer software 13 Testing 6 Computer programs 5 Engineering & Applied Sciences 4 Validation 4 Computer Science 3 Computer science 3 Integrated circuits 3 Computer systems 2 Formal methods (Computer science) 2 Mathematics 2 Programming languages (Electronic computers) 2 Arms control 1 Bioethics 1 Biological arms control 1 Biosecurity 1 Bounded Error 1 Business 1 Business Administration 1 Communicable diseases 1 Computer-aided design 1 Computing, mathematics and information systems 1 Congresses 1 Cooperating objects (Computer systems) 1 Development 1 Diagnose 1 Diagnosis 1 Digital integrated circuits 1 Domain-specific programming languages 1