2019  |  18  |  17  |  16  |  15  |  14  |  13  |  12  |  11  |  10  |  09  |  08  |  07  |  06  |  05  |  04  |  03  |  02  |  01  |  00  |  99

Projects Active in 2015

The rising popularity of mobile apps deployed on battery-constrained devices has motivated the need for effective energy-aware testing techniques. Energy testing is generally more labor intensive and expensive than functional testing, as tests need to be executed in the deployment environment, specialized equipment needs to be used to collect energy measurements, etc. Currently, there is a dearth of automatic mobile testing techniques that consider energy as a program property of interest.

Research Area(s): 
Project Dates: 
September 2015

Literature about design suggests that a variety of alternatives leads to a higher quality final design. When software designers, either individually or together, are designing in front of the whiteboard, they rarely explore different solution alternatives. How can we help designers to explore more design alternatives for software problems? To achieve this, we are working on a process to facilitate designers to collaborate and produce high quality software designs while considering more solution alternatives.

Research Area(s): 
Project Dates: 
April 2015

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.

Research Area(s): 
Project Dates: 
March 2015

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.

Project Dates: 
January 2015

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.

Research Area(s): 
Project Dates: 
January 2015

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.

Project Dates: 
October 2014

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.

Research Area(s): 
Project Dates: 
September 2014

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.

Project Dates: 
January 2014

Pages