360 likes | 611 Views
Motivation .... ... for an integrated approach to automated module testing and static analysis:Verification specialist's perspective: static analysis gives insight with respect to useful test cases and expected module behaviourModule testing can help to verify or falsify fault hypotheses found in
E N D