Associate Professor Jing Sun

Ph.D. (01/2000 - 06/2003), Department of Computer Science, School of Computing, National University of Singapore, Republic of Singapore.

Profile Image
Associate Professor

Biography

Jing obtained his PhD degree in Computer Science from National University of Singapore. He joined the Department of Computer Science at University of Auckland in 2003, who is now an Associate Professor. 

Research | Current

Jing's research expertise is computer aided verification in the Software Engineering domain to enhance the quality and security aspects of software and hardware development. It includes formal specification, software verification, validation and simulation, model checking, theorem proving and ontological reasoning. His recent research projects have been focused on applying machine learning and AI based technologies to the field of automated software engineering, i.e., automatic formal design model repair, automated code generation from design models, semantic rule driven program behaviour monitoring, model-based test case generation, etc.

Selected publications and creative works (Research Outputs)

  • Chondamrongkul, N., Sun, J., Wei, B., & Warren, I. (2019). Parallel verification of software architecture design. Proceedings of IEEE International Symposium on High Assurance Systems Engineering. 10.1109/HASE.2019.00018
    Other University of Auckland co-authors: Nacha Chondamrongkul, Ian Warren
  • Cai, C.-H., Sun, J., & Dobbie, G. (2018). B-Repair: Repairing B-Models Using Machine Learning. Paper presented at 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Melbourne, AUSTRALIA. 12 December - 14 December 2018. 2018 23RD INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS). (pp. 10). 10.1109/ICECCS2018.2018.00012
    Other University of Auckland co-authors: Gill Dobbie
  • Sun, J., & Sun, M. (2018). Preface.
  • Shanly, C., Ieti, M., Warren, I., & Sun, J. (2018). BackPocketDriver-a mobile app to enhance safe driving for youth. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 10.18293/SEKE2018-011
  • Wei, B., Sun, J., & Wang, Y. (2018). A knowledge engineering approach to UML modeling. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 10.18293/SEKE2018-114
  • Chondamrongkul, N., Sun, J., & Warren, I. (2018). Ontology-based software architectural pattern recognition and reasoning. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 10.18293/SEKE2018-012
    URL: http://hdl.handle.net/2292/41396
    Other University of Auckland co-authors: Nacha Chondamrongkul
  • Li, P., Sun, J., & Wang, H. (2017). Formal Approach to Assertion-Based Code Generation. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 27 (9-10), 1637-1662. 10.1142/S0218194017400162
    URL: http://hdl.handle.net/2292/43431
  • Jokhio, M. S., Sun, J., Dobbie, G., & Hu, T. (2017). Goal-based testing of semantic web services. INFORMATION AND SOFTWARE TECHNOLOGY, 83, 1-13. 10.1016/j.infsof.2016.11.011
    URL: http://hdl.handle.net/2292/32238
    Other University of Auckland co-authors: Gill Dobbie

Identifiers

Contact details

Primary office location

SCIENCE CENTRE 303 - Bldg 303
Level 5, Room 522
38 PRINCES ST
AUCKLAND CENTRAL
AUCKLAND 1010
New Zealand

Web links