According to our database1, Yu-Shan Sun
Legend:Book In proceedings Article PhD thesis Other
Where exactly are the difficulties in reasoning logically about code? experimentation with an online system.
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018
Tool-Assisted Loop Invariant Development and Analysis.
Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training, 2016
Experience report: evolution of a web-integrated software development and verification environment.
Softw., Pract. Exper., 2015
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE.
Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015
A web-integrated verifying compiler for RESOLVE: a research perspective.
Proceedings of the 7th India Software Engineering Conference, Chennai, 2014
A Language for Building Verified Software Components.
Proceedings of the Safe and Secure Software Reuse, 2013
Specification and reasoning in SE projects using a Web IDE.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013