REGISTER | LOGIN
Breaking News
Comments
Newest First | Oldest First | Threaded View
cedricfau
User Rank
Author
re: How formal MDV can eliminate IP integration uncertainty
cedricfau   1/9/2012 5:32:38 PM
NO RATINGS
This is an interesting approach but not so easy to implement. Defining all functionalities through assertions is still very difficult. Mutation analysis, as Springsoft Certitude provides, is more appropriate to current verification flows/terams relying on simulations.



Like Us on Facebook