Index Catalog // ScholarsArchive@OSU

Creator:: Gopinath, Rahul, Jensen, Carlos (Computer scientist), Groce, Alex, and Oregon State University. School of Electrical Engineering and Computer Science
Abstract:: Mutation analysis is often used to compare the effectiveness of different test suites or testing techniques. One of the main assumptions underlying this technique is the Competent Programmer Hypothesis, which proposes that programs are very close to a correct version, or that the difference between current and correct code for...
Resource Type:: Research Paper
Full Text:: guided by the programming lan- guage used. We provide a basis for future investigations in this regard

Creator:: Piorkowski, David
Abstract:: Empirical studies have shown that programmers spend up to one-third of their time navigating through code during debugging. Although researchers have conducted empirical studies to understand programmers’ navigation difficulties and developed tools to address those difficulties, the resulting findings tend to be loosely connected to each other. To address this...
Resource Type:: Dissertation

Creator:: Bailey, Kendall
Abstract:: Application Stores, such as the iTunes App Store, give developers access to their users’ complaints and requests in the form of application reviews. However, little is known about how developers are responding to application reviews. Without such knowledge developers, users, Application Stores, and researchers could make incorrect assumptions. To address...
Resource Type:: Masters Thesis

Creator:: Bogart, Christopher
Abstract:: Professional software engineers have an arsenal of techniques such as unit testing and assertions to check their specifications, but these techniques require tools, motivation, experience and training that programmers without professional software engineering training may not have. As a result, professionals in other fields, such as scientific modelers, face greater...
Resource Type:: Dissertation

Creator:: Chen, Sheng
Abstract:: The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
Resource Type:: Dissertation

ScholarsArchive@OSU