Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Physical Sciences and Mathematics
Robot Reporter Website Development, Samuel Verkruyse
Robot Reporter Website Development, Samuel Verkruyse
Computer Engineering
The Robot Reporter Website Development project created a front end interface for interacting with news stories generated by the Robot Reporter script that was originally developed for the Digital Democracy institute at Cal Poly. Various graphs, videos, and other interesting content is displayed to the user in order to create an automated news website focusing on activity in state legislatures.
Supported Programming For Beginning Developers, Andrew Gilbert
Supported Programming For Beginning Developers, Andrew Gilbert
Master's Theses
Testing code is important, but writing test cases can be time consuming, particularly for beginning programmers who are already struggling to write an implementation. We present TestBuilder, a system for test case generation which uses an SMT solver to generate inputs to reach specified lines in a function, and asks the user what the expected outputs would be for those inputs. The resulting test cases check the correctness of the output, rather than merely ensuring the code does not crash. Further, by querying the user for expectations, TestBuilder encourages the programmer to think about what their code ought to do, …