Testing real-time Linux. What to test and how
Ant chap04
Projects
Black & White Box testing
Manual Testing
Code Coverage in Theory and in practice form the DO178B perspective
Testing
Software Testing Essentials Course
TAME-Test Automation Made Easy
Dealing with the Three Horrible Problems in Verification
Dill may-2008
Blackbox