Software Engineering Commons^™

S-Looper: Automatic Summarization For Multipath String Loops, Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, Hongxu Chen

Research Collection School Of Computing and Information Systems

Loops are important yet most challenging program constructs to analyze for various program analysis tasks. Existing loop analysis techniques mainly handle well loops that contain only integer variables with a single path in the loop body. The key challenge in summarizing a multiple-path loop is that a loop traversal can yield a large number of possibilities due to the different execution orders of these paths located in the loop; when a loop contains a conditional branch related to string content, we potentially need to track every character in the string for loop summarization, which is expensive. In this paper, we …

An Automatic Approach To Detect Unusual Events In Software Repositories, Larissa Leite, Christoph Treude, Fernando Figueira Filho

Research Collection School Of Computing and Information Systems

This work presents an automatic approach to detect unusual events in software repositories. The approach collects data from source code repositories and analyzes new commits based on historical data in order to detect unusual events that are displayed to developers and managers in an awareness tool.

Post-Silicon Functional Validation With Virtual Prototypes, Kai Cong

Dissertations and Theses

Post-silicon validation has become a critical stage in the system-on-chip (SoC) development cycle, driven by increasing design complexity, higher level of integration and decreasing time-to-market. According to recent reports, post-silicon validation effort comprises more than 50% of the overall development effort of an 65nm SoC. Though post-silicon validation covers many aspects ranging from electronic properties of hardware to performance and power consumption of whole systems, a central task remains validating functional correctness of both hardware and its integration with software. There are several key challenges to achieving accelerated and low-cost post-silicon functional validation. First, there is only limited silicon observability …

Hardware/Software Interface Assurance With Conformance Checking, Li Lei

Dissertations and Theses

Hardware/Software (HW/SW) interfaces are pervasive in modern computer systems. Most of HW/SW interfaces are implemented by devices and their device drivers. Unfortunately, HW/SW interfaces are unreliable and insecure due to their intrinsic complexity and error-prone nature. Moreover, assuring HW/SW interface reliability and security is challenging. First, at the post-silicon validation stage, HW/SW integration validation is largely an ad-hoc and time-consuming process. Second, at the system deployment stage, transient hardware failures and malicious attacks make HW/SW interfaces vulnerable even after intensive testing and validation. In this dissertation, we present a comprehensive solution for HW/SW interface assurance over the system life cycle. …

Simple Macro: Addon For World Of Warcraft, Yemane Gebreyesus

Computer Engineering

This senior project was started to try and solve a problem within World of Warcraft. That particular problem is the underdeveloped default macro interface, which Simple Macro aims to remedy by creating a more user-friendly interface that is accessible by a wider audience. It employs a click through method of accessing and editing data to reduce the amount of typing necessary. The addon also has a feature to specifically help players that want to change a target in certain groups of macros all at once. The project was developed in both Lua and XML.

Resound.Fm, Matthew Bleifer

Computer Science and Software Engineering

The goal of this senior project was to create a social platform for people to share and discover the music they love. Current music streaming technologies lack an effective tool for helping users find new music. The personal element of music that used to exist in the days that people gathered around record players or shared mixtapes has been lost online and Resound.fm seeks to bring it back. Resound.fm is a Ruby on Rails web application, which uses some of the latest web technologies and design patterns to create a powerful new music discovery experience online. The project was completed …

'Fo Fighter: 2d Real-Time Game, Cary Dobeck

Computer Engineering

‘FO Fighter is a 2D real-time game for Android and iOS mobile devices. The game utilizes the motion sensors and touch screens built within these devices to give the player a great amount of control over their character’s position and firing direction. This control allows for a reactive environment set in outer space, where gravity is determined by the device’s orientation, while the player must dodge, fight and destroy multiple enemy fighters on each planet in the solar system. ‘FO Fighter has been tested throughout its development cycle on numerous devices on both the Android and iOS platforms, with testers …

Geospatial Data Modeling To Support Energy Pipeline Integrity Management, Austin Wylie

Master's Theses

Several hundred thousand miles of energy pipelines span the whole of North America -- responsible for carrying the natural gas and liquid petroleum that power the continent's homes and economies. These pipelines, so crucial to everyday goings-on, are closely monitored by various operating companies to ensure they perform safely and smoothly.

Happenings like earthquakes, erosion, and extreme weather, however -- and human factors like vehicle traffic and construction -- all pose threats to pipeline integrity. As such, there is a tremendous need to measure and indicate useful, actionable data for each region of interest, and operators often use computer-based decision …

California State University San Bernardino Win Gps, Francisco A. Ron

Electronic Theses, Projects, and Dissertations

The objective of this masters project is to develop a working application for Android devices. This is an application intended to be used by CSUSB. It has its own database, which has information about most of the facilities on campus. There are many GPS applications on the market, however I chose to design and implement WiN GPS, short for Walking GPS, because it will allow the possibility of a personalized GPS for the school and for users should they choose to use it.

In order to develop Win GPS it was necessary to research the available tools and to become …

Wifi-Based Indoor Line-Of-Sight Identification, Zimu Zhou, Zheng Yang, Chenshu Wu, Longfei Shangguan, Haibin Cai, Yunhao Liu, Lionel M. Ni

Research Collection School Of Computing and Information Systems

Wireless LANs, particularly WiFi, have been pervasively deployed and have fostered myriad wireless communication services and ubiquitous computing applications. A primary concern in designing these applications is to combat harsh indoor propagation environments, particularly Non-Line-Of-Sight (NLOS) propagation. The ability to identify the existence of the Line-Of-Sight (LOS) path acts as a key enabler for adaptive communication, cognitive radios, and robust localization. Enabling such capability on commodity WiFi infrastructure, however, is prohibitive due to the coarse multipath resolution with MAC-layer received signal strength. In this paper, we propose two PHY-layer channel-statistics-based features from both the time and frequency domains. To further …

Drill Design Suite, Neil Nordhof

Computer Science and Software Engineering

Drill Design Suite is a lightweight tool for creating drill for marching band programs.

Adaptive Resource Provisioning Mechanism In Vees For Improving Performance Of Hla-Based Simulations, Zengxiang Li, Wentong Cai, Stephen John Turner, Xiaorong Li, Nguyen Binh Duong Ta

Research Collection School Of Computing and Information Systems

Parallel and distributed simulations (or High-Level Architecture (HLA)-based simulations) employing optimistic synchronization allow federates to advance simulation time freely at the risk of overoptimistic executions and execution rollbacks. As a result, the simulation performance may degrade significantly due to the simulation workload imbalance among federates. In this article, we investigate the execution of parallel and distributed simulations on Cloud and data centers with Virtual Execution Environments (VEEs). In order to speed up simulation execution, an Adaptive Resource Provisioning Mechanism in Virtual Execution Environments (ArmVee) is proposed. It is composed of a performance monitor and a resource manager. The former measures …

Verifying Parameterized Timed Security Protocols, Li Li, Jun Sun, Yang Liu, Jin Song Dong

Research Collection School Of Computing and Information Systems

Quantitative timing is often explicitly used in systems for better security, e.g., the credentials for automatic website logon often has limited lifetime. Verifying timing relevant security protocols in these systems is very challenging as timing adds another dimension of complexity compared with the untimed protocol verification. In our previous work, we proposed an approach to check the correctness of the timed authentication in security protocols with fixed timing constraints. However, a more difficult question persists, i.e., given a particular protocol design, whether the protocol has security flaws in its design or it can be configured secure with proper parameter values? …

Wifi-Based Indoor Line-Of-Sight Identification, Zimu Zhou, Zheng Yang, Chenshu Wu, Longfei Shangguan, Haibin Cai, Yunhao Liu, Lionel M. Ni

Research Collection School Of Computing and Information Systems

Wireless LANs, particularly WiFi, have been pervasively deployed and have fostered myriad wireless communication services and ubiquitous computing applications. A primary concern in designing these applications is to combat harsh indoor propagation environments, particularly Non-Line-Of-Sight (NLOS) propagation. The ability to identify the existence of the Line-Of-Sight (LOS) path acts as a key enabler for adaptive communication, cognitive radios, and robust localization. Enabling such capability on commodity WiFi infrastructure, however, is prohibitive due to the coarse multipath resolution with MAC-layer received signal strength. In this paper, we propose two PHY-layer channel-statistics-based features from both the time and frequency domains. To further …

Aarpa: Combining Mobile And Power-Line Sensing For Fine-Grained Appliance Usage And Energy Monitoring, Nirmalya Roy, Nilavra Pathak, Archan Misra

Research Collection School Of Computing and Information Systems

To promote energy-efficient operations in residential and office buildings, non-intrusive load monitoring (NILM) techniques have been proposed to infer the fine-grained power consumption and usage patterns of appliances from power-line measurement data. Fine-grained monitoring of everyday appliances (such as toasters and coffee makers) can not only promote energy-efficient building operations, but also provide unique insights into the context and activities of individuals. Current building-level NILM techniques are unable to identify the consumption characteristics of relatively low-load appliances, whereas smart-plug based solutions incur significant deployment and maintenance costs. In this paper, we investigate an intermediate architecture, where smart circuit breakers provide …

Extracting Development Tasks To Navigate Software Documentation, Christoph Treude, Martin P. Robillard, Barthélémy Dagenais

Research Collection School Of Computing and Information Systems

Knowledge management plays a central role in many software development organizations. While much of the important technical knowledge can be captured in documentation, there often exists a gap between the information needs of software developers and the documentation structure. To help developers navigate documentation, we developed a technique for automatically extracting tasks from software documentation by conceptualizing tasks as specific programming actions that have been described in the documentation. More than 70 percent of the tasks we extracted from the documentation of two projects were judged meaningful by at least one of two developers. We present TaskNavigator, a user interface …

Software Application And Mobile Optimization, Timothy Yu

Undergraduate University Honors Capstones

Most software applications have yet to be optimized for mobile devices, such as smartphones and tablets. Such is the case with Gallaudet University’s enterprise information systems, Bison, the university’s administration system, including all records except for finances and Blackboard, the university’s learning management system. A two-part project addressed this lack of mobile optimization with Bison. The first part was the Residence Life Sticker Project intended to familiarize the developer with Gallaudet’s internal IT systems. It involved developing a web form for the Office of Residence Life to record receipt of ID card stickers, handbooks, and release room consent information. The …

Non-Orientable Objects As Gaming Surfaces, Haley P. Bourke, Paul Latiolais

Student Research Symposium

Developed in Python, Klein Space Fighter is an interactive learning tool and mathematically themed arcade game that allows the player to combat on different mathematical surfaces including a 2D Klein bottle. The app is available for Android and desktop devices, and will be made available for iOS in the future.

To receive an invitation to download the app through Google Play, contact me at [email protected]

Homesafe: A Mobile Application Utilizing Encryption And Access Control, Kenneth Trumpoldt

Senior Honors Projects, 2010-2019

Our society is becoming more virtual and mobile everyday. The purpose of this application is to transform a physical card system into a virtual card system that meets the demands of a technologically-oriented society. Parents will be able to create their own child identification cards more quickly and cost efficiently. Cards can be easily edited instead of having to order an updated replacement. Immediate and frequent alteration of cards allows for information to be more accurate. Cards can be shared globally and instantly via the Internet or shared connections such as Bluetooth. The fast access to and virtual duplication of …

Heuristic Collective Learning For Efficient And Robust Emergence Of Social Norms, Jianye Hao, Jun Sun, Dongping Huang, Yi Cai, Chao Yu

Research Collection School Of Computing and Information Systems

In multiagent systems, social norms is a useful technique in regulating agents’ behaviors to achieve coordination or cooperation among agents. One important research question is to investigate how a desirable social norm can be evolved in a bottom-up manner through local interactions. In this paper, we propose two novel learning strategies under the collective learning framework: collective learning EV-l and collective learning EV-g, to efficiently facilitate the emergence of social norms. Experimental results show that both learning strategies can support the emergence of desirable social norms more efficiently in a much broader range of multiagent interaction scenarios than previous work, …