Cited By
View all- Tran HHung P(2021)A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software2021 13th International Conference on Knowledge and Systems Engineering (KSE)10.1109/KSE53942.2021.9648741(1-6)Online publication date: 10-Nov-2021
- Tran HHung PNguyen VAoki T(2020)A framework for assume-guarantee regression verification of evolving softwareScience of Computer Programming10.1016/j.scico.2020.102439(102439)Online publication date: Mar-2020
- TRAN HPHAM NNGUYEN V(2019)On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software VerificationIEICE Transactions on Information and Systems10.1587/transinf.2018FOP0004E102.D:8(1449-1461)Online publication date: 1-Aug-2019
- Show More Cited By