Articles with public access mandates - Wei Ngan ChinLearn more
Not available anywhere: 1
Expressive program verification via structured specifications
C Gherghina, C David, S Qin, WN Chin
International Journal on Software Tools for Technology Transfer 16, 363-380, 2014
Mandates: National Natural Science Foundation of China, UK Engineering and Physical …
Available somewhere: 5
Automated verification of the FreeRTOS scheduler in Hip/Sleek
JF Ferreira, C Gherghina, G He, S Qin, WN Chin
International Journal on Software Tools for Technology Transfer 16, 381-397, 2014
Mandates: National Natural Science Foundation of China, UK Engineering and Physical …
Automatically refining partial specifications for heap-manipulating programs
S Qin, G He, C Luo, WN Chin, H Yang
Science of Computer Programming 82, 56-76, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Automated repair of heap-manipulating programs using deductive synthesis
TT Nguyen, QT Ta, I Sergey, WN Chin
International Conference on Verification, Model Checking, and Abstract …, 2021
Mandates: National Research Foundation, Singapore
Automated specification inference in a combined domain via user-defined predicates
S Qin, G He, WN Chin, F Craciun, M He, Z Ming
Science of Computer Programming 148, 189-212, 2017
Mandates: National Natural Science Foundation of China, UK Engineering and Physical …
Automated Specification Discovery in a Combined Abstract Domain
G He, Q Sh, WN Chin, L Ch
URL: http://www. comp. nus. edu. sg/~ chinwn/papers/icfem13-cdomain. pdf …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Publication and funding information is determined automatically by a computer program