A new disjunctive literal insertion fault detection strategy in boolean specifications

2021 ◽  
Vol 33 (5) ◽  
Author(s):  
T. K. Paul ◽  
M. J. M. Chowdhury ◽  
M. F. Lau
2015 ◽  
Vol 36 ◽  
pp. 108-119 ◽  
Author(s):  
Fouzi Harrou ◽  
Mohamed N. Nounou ◽  
Hazem N. Nounou ◽  
Muddu Madakyaru

2019 ◽  
Vol 155 ◽  
pp. 346-357 ◽  
Author(s):  
Shiqi Xia ◽  
Junhui Zhang ◽  
Shaogan Ye ◽  
Bing Xu ◽  
Jiawei Xiang ◽  
...  

2015 ◽  
Vol 15 (6) ◽  
pp. 1664-1672 ◽  
Author(s):  
Younghoon Cho ◽  
Jongung Lim ◽  
Hyunuk Seo ◽  
Sun-Bae Bang ◽  
Gyu-Ha Choe

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 178177-178186 ◽  
Author(s):  
Shiqi Xia ◽  
Junhui Zhang ◽  
Shaogan Ye ◽  
Bing Xu ◽  
Weidi Huang ◽  
...  

2018 ◽  
Vol 56 (10) ◽  
pp. 1604-1621 ◽  
Author(s):  
Chunsheng Li ◽  
Shihui Luo ◽  
Colin Cole ◽  
Maksym Spiryagin

Sign in / Sign up

Export Citation Format

Share Document