Past, Present and Future by acucubatrytest
CH 7 Project Quality and Communications Planning 7 - 1.
Automatic generation of software -based functional failing test
Model Checking: An introduction & overview
CSE 599F: Formal Verification of Computer Systems