A probabilistic approach for counterexample generation to aid design debugging - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Payman Behnam, Hossein Sabaghian Bidgoli, Bijan Alizadeh, Kamyar Mohajerani, Zainalabedin Navabi. A probabilistic approach for counterexample generation to aid design debugging. In East-West Design & Test Symposium, EWDTS 2013, Rostov-on-Don, Russia, September 27-30, 2013. pages 1-5, IEEE, 2013. [doi]

This author has not been identified. Look up 'Payman Behnam' in GoogleThis author has not been identified. Look up 'Hossein Sabaghian Bidgoli' in GoogleThis author has not been identified. Look up 'Bijan Alizadeh' in GoogleThis author has not been identified. Look up 'Kamyar Mohajerani' in GoogleThis author has not been identified. Look up 'Zainalabedin Navabi' in Google

runs on WebDSL