7
Publications
224
Citations
7
H-Index
1970
Active since
Affiliations
Kwan Yong Sim is an author at Swinburne University of Technology Sarawak Campus specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationAutomated ReasoningComputer Engineering
Publications per year
1970–2022
7
7
On detecting faults for Boolean expressions
Tsong Yueh Chen, Man Fai Lau, Kwan Yong Sim et al. · Software Quality Journal · 2008 · 18 citations
Soo See Chai, Whye Lian Cheah, Kok Luong Goh et al. · Computational and Mathematical Methods in Medicine · 2021 · 17 citations · Full text
Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions
Chang‐ai Sun, Yunwei Dong, Kwan Yong Sim et al. · 2006 · 16 citations · Full text
Rows per page
1–5 of 7