Yu-Shan Sun

According to our database1, Yu-Shan Sun
  • authored at least 7 papers between 2013 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
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

2016
Tool-Assisted Loop Invariant Development and Analysis.
Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training, 2016

2015
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

2014
A web-integrated verifying compiler for RESOLVE: a research perspective.
Proceedings of the 7th India Software Engineering Conference, Chennai, 2014

2013

Specification and reasoning in SE projects using a Web IDE.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013


  Loading...