TrimDroid is a novel combinatorial approach for generating GUI system tests for Android apps.
TrimDroid is comprised of four major components: Model Extraction, Dependency Extraction, Sequence Generation, and Test-Case Generation. Together, these components produce a significantly smaller number of test cases than exhaustive combinatorial technique, yet achieve a comparable coverage.
Socio-emotional content is vital for building trusting, productive relationships that go beyond task-oriented communication in teams. But for distributed collaborators, it is challenging to communicate emotional status because of working over a distance. We propose to use non-work-related, non-competitive, and playful drawing online to encourage nonverbal expressions of emotions and interactions.
Spacetime is a framework for developing time-stepped, multi-worker applications based on the tuplespace model. Workers compute within spacetimed frames -- a fixed portion of the shared data during a fixed period of time. The locally modified data may be pushed back to the shared store at the end of each step.
This project describes and documents observational results that arise from the playtesting-based evaluation of twenty-six computer games focused on science learning or scientific research. We refer to this little studied genre of computer games as science learning games (SLGs). Our goal was to begin to identify a new set of criteria, play mechanics, and play experiences that give rise to play-based learning experiences in the realm of different scientific topics.
COVERT is a tool for compositional verification of Android inter-application vulnerabilities. It automatically identifies vulnerabilities that occur due to the interaction of apps comprising a system. Subsequently, it determines whether it is safe for a bundle of apps, requiring certain permissions and potentially interacting with each other, to be installed together.
Trust is important for effective coordination in global software development teams. However, the co-evolution of trust and coordination is often neglected. To fill the gap, we develop an evolutionary game theory model. Using the Behavior-Preference-Constraint (BPC) model and Adaptive Play, the model challenges the traditional view of trust as a static “resource” for coordination and proposes an alternative view that trust dynamically restricts people’s action choices in interacting with other team members.
Given the availability of large-scale source-code repositories, there have been a large number of applications for clone detection. Unfortunately, despite a decade of active research, there is a marked lack in clone detectors that scale to large software repositories. In particular for detecting near-miss clones where significant editing activities may take place in the cloned code.
Bitcoin is a digital currency and payment platform that has been the source of much media attention. The currency is not backed by a government like most conventional currencies but is part of a democratic and dencentralized movement. Bitcoin transactions are pseudo-anonymous in a similar way to cash money. Why do people use this currency? How do their political values align with their usage of bitcoin? Furthermore, how does the community regulate itself in the absence of a formal hierarchical structure? Lastly, how do anonymous users form communities?
ISR
