testing
Related entries include:
incremental analysis
;
model checking
;
Quality Assurance
;
Quality Control
;