Index Catalog // ScholarsArchive@OSU

Creator:: Chen, Sheng, Erwig, Martin, and Oregon State University. School of Electrical Engineering and Computer Science
Abstract:: Producing precise and helpful error messages for type inference is still a challenge for implementations of functional languages. Current approaches often lack precision in terms of locating the origins of type errors. Moreover, suggestions for how to fix type errors that are offered by some tools are also often vague...
Resource Type:: Technical Report

Creator:: Oregon State University. School of Electrical Engineering and Computer Science, Lin, Yu, Okur, Semih, and Dig, Danny
Abstract:: To avoid unresponsiveness, a core part of mobile development is asynchronous programming. Android provides several async constructs that developers can use. However, developers can still use the inappropriate async constructs, which result in memory leaks, lost results, and wasted energy. Fortunately, refactoring tools can eliminate these problems by transforming async...
Resource Type:: Technical Report

Creator:: Nelson, Nicholas, McDonald, Hugh, McDonald, Sean, Metoyer, Ron, Dig, Danny, Hilton, Michael (Michael Edward), and Oregon State University. School of Electrical Engineering and Computer Science
Abstract:: A bad software development process leads to wasted effort and inferior products. In order to improve a software process, it is important to first understand it. Our unique approach in this paper is to use code and test changes to understand conformance to a process. We analyze the meaning of...
Resource Type:: Technical Report

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

Creator:: Chen, Guoning, Mischaikow, Konstantin Michael, Laramee, Robert S., Pilarczyk, Pawel, Zhang, Eugene, and Oregon State University. School of Electrical Engineering and Computer Science
Abstract:: Design and control of vector fields is critical for many visualization and graphics tasks such as vector field visualization, fluid simulation, and texture synthesis. The fundamental qualitative structures associated with vector fields are fixed points, periodic orbits, and separatrices. In this paper we provide a new technique that allows for...
Resource Type:: Technical Report

Creator:: Abraham, Robin, Erwig, Martin, and Oregon State University. School of Electrical Engineering and Computer Science
Abstract:: We present a catalog of mutation operators for spreadsheets drawn from research into mutation testing for general purpose programming languages and from spreadsheet errors that have been reported in literature. These operators are integrated into a system, called μTest, which allows users to create and maintain spreadsheet test cases. Three...
Resource Type:: Technical Report

Creator:: Joshi, Saket, Dietterich, Thomas G., and Oregon State University. School of Electrical Engineering and Computer Science
Abstract:: Sequential supervised learning problems involve assigning a class label to each item in a sequence. Examples include part of speech tagging and text to speech mapping. A very general-purpose strategy for solving such problems is to construct a recurrent sliding window (RSW) classifier which maps some window of the input...
Resource Type:: Technical Report

ScholarsArchive@OSU