According to our database1, Yu-Shan Sun authored at least 12 papers between 2013 and 2021.
Legend:Book In proceedings Article PhD thesis Other
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
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions.
Proceedings of the ECSEE '20: European Conference on Software Engineering Education, 2020
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
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
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. Exp., 2015
Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015
Proceedings of the 7th India Software Engineering Conference, Chennai, 2014
Proceedings of the Safe and Secure Software Reuse, 2013
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013