← Back to directory
Jin Song Dong
Researcher Next ID · RN-037145
Researcher · Computer Science
National University of Singapore
Singapore, Singapore
Accepting doctoral researchersFunding unknown
- Works count
- 432
- Citation count
- 7,032
- H-index
- 36
- i10-index
- 150
Research interests
Computer Science
Formal Methods in Verification
Software Testing and Debugging Techniques
Advanced Software Engineering Methodologies
Service-Oriented Architecture and Web Services
Software Engineering Research
Publications
PAT: Towards Flexible Verification under Fairness
Lecture notes in computer science · 2009 · https://doi.org/10.1007/978-3-642-02658-4_59
Current projects
No projects listed.