WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Varsha P. Suresh, Sujit Kumar Chakrabarti, Athul Suresh, Raoul Jetley. WBS: Weighted Backtracking Strategy for Symbolic Testing of Embedded Software. In Rong Peng, Carlos Eduardo Pantoja, Pankaj Kamthan, editors, The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 - July 10, 2022. pages 172-177, KSI Research Inc., 2022. [doi]

This author has not been identified. Look up 'Varsha P. Suresh' in GoogleThis author has not been identified. Look up 'Sujit Kumar Chakrabarti' in GoogleThis author has not been identified. Look up 'Athul Suresh' in GoogleThis author has not been identified. Look up 'Raoul Jetley' in Google

runs on WebDSL