Yu-Shan Sun

According to our database1, Yu-Shan Sun authored at least 12 papers between 2013 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum.
Informatics Educ., 2021

F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails.
Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

2020
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions.
Proceedings of the ECSEE '20: European Conference on Software Engineering Education, 2020

2019
Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

2018
Reasoning About Reference Behavior with RESOLVE.
ACM SIGSOFT Softw. Eng. Notes, 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. Exp., 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...