Specification and reasoning in SE projects using a Web IDE CT Cook, SV Drachova-Strang, YS Sun, M Sitaraman, JC Carver, ... 2013 26th International Conference on Software Engineering Education and …, 2013 | 25 | 2013 |
Where exactly are the difficulties in reasoning logically about code? experimentation with an online system M Cook, M Fowler, JO Hallstrom, JE Hollingsworth, T Schwab, YS Sun, ... Proceedings of the 23rd Annual ACM Conference on Innovation and Technology …, 2018 | 12 | 2018 |
A language for building verified software components G Kulczycki, M Sitaraman, J Krone, JE Hollingsworth, WF Ogden, ... Safe and Secure Software Reuse: 13th International Conference on Software …, 2013 | 12 | 2013 |
Tool-assisted loop invariant development and analysis C Priester, YS Sun, M Sitaraman 2016 IEEE 29th International Conference on Software Engineering Education …, 2016 | 11 | 2016 |
Formal reasoning using an iterative approach with an integrated web IDE NM Kabbani, D Welch, C Priester, S Schaub, B Durkee, YS Sun, ... arXiv preprint arXiv:1508.03896, 2015 | 11 | 2015 |
Impact of steps, instruction, and motivation on learning symbolic reasoning using an online tool M Fowler, M Cook, K Plis, T Schwab, YS Sun, M Sitaraman, JO Hallstrom, ... Proceedings of the 50th ACM Technical Symposium on Computer Science …, 2019 | 8 | 2019 |
A web-integrated verifying compiler for RESOLVE: a research perspective D Welch, C Cook, YS Sun, M Sitaraman Proceedings of the 7th India Software Engineering Conference, 1-6, 2014 | 8 | 2014 |
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions M Fowler, ET Kraemer, YS Sun, M Sitaraman, JO Hallstrom, ... Proceedings of the 4th European Conference on Software Engineering Education …, 2020 | 6 | 2020 |
Towards Automated Verification of Object-Based Software with Reference Behavior YS Sun Clemson University, 2018 | 6 | 2018 |
Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum M Fowler, J Hallstrom, J Hollingsworth, E Kraemer, M Sitaraman, YS Sun, ... Informatics in Education 20 (4), 2021 | 3 | 2021 |
Specification and Reasoning about Shared Realizations: An Illustrative Example Y Sun, D Zaccai, M Sitaraman Technical Report RSRG-13-04, Clemson University, 2013 | 3 | 2013 |
F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails YS Sun, D Welch, M Sitaraman arXiv preprint arXiv:2111.08207, 2021 | 2 | 2021 |
Pinpointing Student Obstacles to Logical Reasoning about Code M Cook, M Fowler, JO Hallstrom, JE Hollingsworth, MP Pfister, T Schwab, ... Technical Report RSRG-17-01, School of Computing, Clemson University, 2017 | 2 | 2017 |
Experience report: evolution of a web‐integrated software development and verification environment CT Cook, YS Sun, M Sitaraman Software: Practice and Experience 45 (6), 857-872, 2015 | 2 | 2015 |
Specification and Reasoning about Shared Realizations: A Two-Tiered Approach YS Sun, D Zaccai, M Sitaraman Technical Report Technical Report RSRG-14-02, School of Computing, Clemson …, 2014 | 1 | 2014 |
Finer Technical Details in Specifying a Concept for Pointer Behavior Y Sun Proceedings of RESOLVE Workshop, 2013 | 1 | 2013 |
Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position NMJ Mbwambo, YS Sun, J Krone, M Sitaraman Science and Information Conference, 58-74, 2022 | | 2022 |
Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum J Hollingsworth, M Fowler, J Hallstrom, E Kraemer, M Sitaraman, YS Sun, ... | | 2022 |
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions J Hollingsworth, M Fowler, M Cook, Y Sun, M Sitaraman, J Hallstrom | | 2020 |
Modular Verification in the Presence of Shared Objects and Concurrency YS Sun, A Weide, D Zaccai, PAG Sivilotti, M Sitaraman | | 2019 |