1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2022
A UCB-based Tree Search Approach to Joint Verification-Correction Strategy for Large Scale Systems
Peng Xu, Xinwei Deng, Alejandro Salado
Verification planning is a sequential decision-making problem that specifies a set of verification activities (VA) and correction activities (CA) at different phases of system deve…
cs.SE2021★ 1 cited
A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems
Peng Xu, Alejandro Salado, Xinwei Deng
Verification is a critical process in the development of engineered systems. Through verification, engineers gain confidence in the correct functionality of the system before it is…