Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Databases and Information Systems (598)
- Engineering (554)
- Artificial Intelligence and Robotics (453)
- Programming Languages and Compilers (435)
- Computer Engineering (369)
-
- Graphics and Human Computer Interfaces (308)
- Other Computer Sciences (238)
- Information Security (227)
- Theory and Algorithms (204)
- Systems Architecture (197)
- Social and Behavioral Sciences (194)
- OS and Networks (174)
- Business (157)
- Numerical Analysis and Scientific Computing (146)
- Education (140)
- Electrical and Computer Engineering (104)
- Medicine and Health Sciences (97)
- Computer and Systems Architecture (94)
- Data Science (86)
- Digital Communications and Networking (71)
- Operations Research, Systems Engineering and Industrial Engineering (69)
- Communication (54)
- Life Sciences (54)
- Environmental Sciences (53)
- Arts and Humanities (48)
- Technology and Innovation (42)
- Systems Engineering (41)
- Institution
-
- Singapore Management University (2211)
- California Polytechnic State University, San Luis Obispo (206)
- Western University (130)
- Air Force Institute of Technology (124)
- University of Malaya (114)
-
- City University of New York (CUNY) (100)
- California State University, San Bernardino (88)
- MMU Press (74)
- Old Dominion University (72)
- Portland State University (50)
- Edith Cowan University (48)
- United Arab Emirates University (48)
- University of Nevada, Las Vegas (48)
- University of Arkansas, Fayetteville (42)
- Loyola University Chicago (40)
- Chapman University (36)
- San Jose State University (36)
- University of Nebraska - Lincoln (35)
- Kennesaw State University (34)
- Embry-Riddle Aeronautical University (32)
- St. Mary's University (31)
- Rochester Institute of Technology (29)
- The University of Akron (23)
- Purdue University (22)
- University of Dayton (22)
- Technological University Dublin (21)
- Dakota State University (18)
- Universitas Negeri Yogyakarta (17)
- University of Nebraska at Omaha (17)
- Institute of Business Administration (16)
- Keyword
-
- Software engineering (152)
- Software (83)
- Deep learning (80)
- Machine learning (77)
- Software Engineering (62)
-
- Android (60)
- Machine Learning (59)
- Computer Science (52)
- Deep Learning (49)
- Empirical study (47)
- Software development (44)
- Refactoring (42)
- Computer science (38)
- Security (37)
- Programming (36)
- Java (35)
- Software maintenance (34)
- Software testing (34)
- Collaboration (32)
- Model Check (29)
- Testing (29)
- GitHub (27)
- Python (26)
- Stack Overflow (25)
- Data mining (24)
- Visualization (24)
- Artificial Intelligence (23)
- Computer software -- Development (23)
- Large language models (23)
- Empirical software engineering (22)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (2149)
- Theses and Dissertations (144)
- Electrical and Computer Engineering Publications (130)
- Collaborative Agent Design (CAD) Research Center (103)
- Student Works (2000-2009) (103)
-
- Journal of Informatics and Web Engineering (74)
- Theses Digitization Project (73)
- Publications and Research (67)
- Master's Theses (47)
- Dissertations and Theses Collection (Open Access) (40)
- Computer Science: Faculty Publications and Other Works (39)
- Theses (35)
- Computer Science Faculty Publications (31)
- Theses : Honours (28)
- Articles (27)
- Computer Science and Software Engineering (27)
- Computer Engineering (24)
- Open Educational Resources (24)
- Separations Campaign (TRP) (24)
- Williams Honors College, Honors Research Projects (23)
- Computer Science Faculty Publications and Presentations (21)
- Electronic Theses and Dissertations (21)
- Honors Theses (21)
- Computer Science and Computer Engineering Undergraduate Honors Theses (20)
- Faculty Publications (19)
- Dissertations (18)
- Master's Projects (18)
- University Honors Theses (18)
- Elinvo (Electronics, Informatics, and Vocational Education) (17)
- School of Computing: Dissertations, Theses, and Student Research (17)
- Publication Type
- File Type
Articles 2581 - 2610 of 4404
Full-Text Articles in Software Engineering
On The Feasibility Of Detecting Cross-Platform Code Clones Via Identifier Similarity, Xiao Cheng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao
On The Feasibility Of Detecting Cross-Platform Code Clones Via Identifier Similarity, Xiao Cheng, Lingxiao Jiang, Hao Zhong, Haibo Yu, Jianjun Zhao
Research Collection School Of Computing and Information Systems
More and more mobile applications run on multiple mobile operating systems to attract more users of different platforms. Although versions on different platforms are implemented in different programming languages (e.g., Java and Objective-C), there must be many code snippets that implement the similar business logic on different platforms. Such code snippets are called cross-platform clones. It is challenging but essential to detect such clones for software maintenance. Due to the practice that developers usually use some common identifiers when implementing the same business logic on different platforms, in this paper, we investigate the identifier similarity of the same mobile application …
Automated Bug Report Field Reassignment And Refinement Prediction, Xin Xia, David Lo, Emad Shihab, Xinyu Wang
Automated Bug Report Field Reassignment And Refinement Prediction, Xin Xia, David Lo, Emad Shihab, Xinyu Wang
Research Collection School Of Computing and Information Systems
Bug fixing is one of the most important activities in software development and maintenance. Bugs are reported, recorded, and managed in bug tracking systems such as Bugzilla. In general, a bug report contains many fields, such as product, component, severity, priority, fixer, operating system (OS), and platform, which provide important information for the bug triaging and fixing process. Our previous study finds that approximately 80% of bug reports have their fields reassigned and refined at least once, and bugs with reassigned and refined fields take more time to fix than bugs with no reassigned and refined fields. Thus, automatically predicting …
Tasker: Behavioral Insights Via Campus-Based Experimental Mobile Crowd-Sourcing, Thivya Kandappu, Jaiman, Tandriansyah, Archan Misra, Shih-Fen Cheng, Chen, Hoong Chuin Lau, Deepthi Chander, Koustuv Dasgupta
Tasker: Behavioral Insights Via Campus-Based Experimental Mobile Crowd-Sourcing, Thivya Kandappu, Jaiman, Tandriansyah, Archan Misra, Shih-Fen Cheng, Chen, Hoong Chuin Lau, Deepthi Chander, Koustuv Dasgupta
Research Collection School Of Computing and Information Systems
While mobile crowd-sourcing has become a game-changer for many urban operations, such as last mile logistics and municipal monitoring, we believe that the design of such crowdsourcing strategies must better accommodate the real-world behavioral preferences and characteristics of users. To provide a real-world testbed to study the impact of novel mobile crowd-sourcing strategies, we have designed, developed and experimented with a real-world mobile crowd-tasking platform on the SMU campus, called TA$Ker. We enhanced the TA$Ker platform to support several new features (e.g., task bundling, differential pricing and cheating analytics) and experimentally investigated these features via a two-month deployment of TA$Ker, …
A Campus-Scale Mobile Crowd-Tasking Platform, Nikita Jaiman, Archan Misra, Randy Tandriansyah Daratan, Thivya Kandappu
A Campus-Scale Mobile Crowd-Tasking Platform, Nikita Jaiman, Archan Misra, Randy Tandriansyah Daratan, Thivya Kandappu
Research Collection School Of Computing and Information Systems
By effectively utilizing smartphones to reach out and engage a large population of mobile users, mobile crowdsourcing can become a game-changer for many urban operations, such as last mile logistics and municipal monitoring. To overcome the uncertainties and risks associated with a purely best-effort, opportunistic model of such crowdsourcing, we advocate a more centrally-coordinated approach, that (a) takes into account the predicted movement paths of workers and (b) factors in typical human behavioral responses to various incentives and deadlines. To experimentally tackle these challenges, we design, develop and experiment with a real-world mobile crowd-Tasking platform on an urban campus in …
Indoor Localization Via Multi-Modal Sensing On Smartphones, Han Xu, Zheng Yang, Zimu Zhou, Longfei Shangguan, Ke Yi, Yunhao Liu
Indoor Localization Via Multi-Modal Sensing On Smartphones, Han Xu, Zheng Yang, Zimu Zhou, Longfei Shangguan, Ke Yi, Yunhao Liu
Research Collection School Of Computing and Information Systems
Indoor localization is of great importance to a wide range ofapplications in shopping malls, office buildings and publicplaces. The maturity of computer vision (CV) techniques andthe ubiquity of smartphone cameras hold promise for offering sub-meter accuracy localization services. However, pureCV-based solutions usually involve hundreds of photos andpre-calibration to construct image database, a labor-intensiveoverhead for practical deployment. We present ClickLoc, anaccurate, easy-to-deploy, sensor-enriched, image-based indoor localization system. With core techniques rooted insemantic information extraction and optimization-based sensor data fusion, ClickLoc is able to bootstrap with few images. Leveraging sensor-enriched photos, ClickLoc also enables user localization with a single photo of the …
Developers’ Perceptions On Object-Oriented Design And Architectural Roles, Maurício Aniche, Marco Aurélio Gerosa, Christoph Treude
Developers’ Perceptions On Object-Oriented Design And Architectural Roles, Maurício Aniche, Marco Aurélio Gerosa, Christoph Treude
Research Collection School Of Computing and Information Systems
Software developers commonly rely on well-known software architecture patterns, such as MVC, to build their applications. In many of these patterns, classes play specific roles in the system, such as Controllers or Entities, which means that each of these classes has specific characteristics in terms of object-oriented class design and implementation. Indeed, as we have shown in a previous study, architectural roles are different from each other in terms of code metrics. In this paper, we present a study in a software development company in which we captured developers’ perceptions on object-oriented design aspects of the architectural roles in their …
High Correlation Of Middle East Respiratory Syndrome Spread With Google Search And Twitter Trends In Korea, Soo-Yong Shin, Dong-Woo Seo, Jisun An, Haewoon Kwak, Sung-Han Kim, Jin Gwack, Min-Woo Jo
High Correlation Of Middle East Respiratory Syndrome Spread With Google Search And Twitter Trends In Korea, Soo-Yong Shin, Dong-Woo Seo, Jisun An, Haewoon Kwak, Sung-Han Kim, Jin Gwack, Min-Woo Jo
Research Collection School Of Computing and Information Systems
The Middle East respiratory syndrome coronavirus (MERS-CoV) was exported to Korea in 2015, resulting in a threat to neighboring nations. We evaluated the possibility of using a digital surveillance system based on web searches and social media data to monitor this MERS outbreak. We collected the number of daily laboratory-confirmed MERS cases and quarantined cases from May 11, 2015 to June 26, 2015 using the Korean government MERS portal. The daily trends observed via Google search and Twitter during the same time period were also ascertained using Google Trends and Topsy. Correlations among the data were then examined using Spearman …
Predicting Crashing Releases Of Mobile Applications, Xin Xia, Emad Shihab, Yasutaka Kamei, David Lo, Xinyu Wang
Predicting Crashing Releases Of Mobile Applications, Xin Xia, Emad Shihab, Yasutaka Kamei, David Lo, Xinyu Wang
Research Collection School Of Computing and Information Systems
Context: The quality of mobile applications has a vital impact on their user's experience, ratings and ultimately overall success. Given the high competition in the mobile application market, i.e., many mobile applications perform the same or similar functionality, users of mobile apps tend to be less tolerant to quality issues. Goal: Therefore, identifying these crashing releases early on so that they can be avoided will help mobile app developers keep their user base and ensure the overall success of their apps. Method: To help mobile developers, we use machine learning techniques to effectively predict mobile app releases that are more …
A Campus-Scale Mobile Crowd-Tasking Platform, Nikita Jaiman, Archan Misra, Randy Tandriansyah Daratan, Thivya Kandappu
A Campus-Scale Mobile Crowd-Tasking Platform, Nikita Jaiman, Archan Misra, Randy Tandriansyah Daratan, Thivya Kandappu
Research Collection School Of Computing and Information Systems
By effectively utilizing smartphones to reach out and engage a large population of mobile users, mobile crowdsourcing can become a game-changer for many urban operations, such as last mile logistics and municipal monitoring. To overcome the uncertainties and risks associated with a purely best-effort, opportunistic model of such crowdsourcing, we advocate a more centrally-coordinated approach, that (a) takes into account the predicted movement paths of workers and (b) factors in typical human behavioral responses to various incentives and deadlines. To experimentally tackle these challenges, we design, develop and experiment with a real-world mobile crowd-Tasking platform on an urban campus in …
Ra2: Predicting Simulation Execution Time For Cloud-Based Design Space Explorations, Nguyen Binh Duong Ta, Wentong Cai, Zengxiang Li, Suiping Zhou
Ra2: Predicting Simulation Execution Time For Cloud-Based Design Space Explorations, Nguyen Binh Duong Ta, Wentong Cai, Zengxiang Li, Suiping Zhou
Research Collection School Of Computing and Information Systems
Design space exploration refers to the evaluation of implementation alternatives for many engineering and design problems. A popular exploration approach is to run a large number of simulations of the actual system with varying sets of configuration parameters to search for the optimal ones. Due to the potentially huge resource requirements, cloud-based simulation execution strategies should be considered in many cases. In this paper, we look at the issue of running largescale simulation-based design space exploration problems on commercial Infrastructure-as-a-Service clouds, namely Amazon EC2, Microsoft Azure and Google Compute Engine. To efficiently manage cloud resources used for execution, the key …
Ifly: Code Development For An App To Support Automating Entomological Data Collection, Michael P. Cosentino, Trevor Stamper
Ifly: Code Development For An App To Support Automating Entomological Data Collection, Michael P. Cosentino, Trevor Stamper
The Summer Undergraduate Research Fellowship (SURF) Symposium
We are developing a prototype entomological data-collection application called "iFly," which runs on a field-capable iPad device. In this phase, we tackled refining screens and introducing a database manager to streamline operations as info is entered, stored, retrieved and delivered. We used SQLite3 database in Apple's Xcode Integrated Development Environment (IDE). Xcode gives mixed programming results. Apple's iOS environment ensures functional and fairly error-free apps can be built. But the sophisticated Xcode IDE requires specialist developers and valuable project time is spent as new programmers learn key techniques. The iFly prototype was advanced with improved database integration; however, more work …
Passive Visual Analytics Of Social Media Data For Detection Of Unusual Events, Kush Rustagi, Junghoon Chae
Passive Visual Analytics Of Social Media Data For Detection Of Unusual Events, Kush Rustagi, Junghoon Chae
The Summer Undergraduate Research Fellowship (SURF) Symposium
Now that social media sites have gained substantial traction, huge amounts of un-analyzed valuable data are being generated. Posts containing images and text have spatiotemporal data attached as well, having immense value for increasing situational awareness of local events, providing insights for investigations and understanding the extent of incidents, their severity, and consequences, as well as their time-evolving nature. However, the large volume of unstructured social media data hinders exploration and examination. To analyze such social media data, the S.M.A.R.T system provides the analyst with an interactive visual spatiotemporal analysis and spatial decision support environment that assists in evacuation planning …
Reverse-Engineering The Brain: The Parts Are As Complex As The Whole., Jens G. Pohl
Reverse-Engineering The Brain: The Parts Are As Complex As The Whole., Jens G. Pohl
Collaborative Agent Design (CAD) Research Center
The purpose of this paper is to review the current state of neuroscience research with a focus on what has been achieved to date in unraveling the mysteries of brain operations, major research initiatives, fundamental challenges, and potentially realizable objectives. General research approaches aimed at constructing a wiring diagram of the brain (i.e., connectome), determining how the brain encodes and computes information, and whole brain simulation attempts are reviewed in terms of strategies employed and difficulties encountered. While promising advances have been made during the past 50 years due to electron microscopy, the development of new experimental methods, and the …
Decision Modeling And Empirical Analysis Of Mobile Financial Services, Jun Liu
Decision Modeling And Empirical Analysis Of Mobile Financial Services, Jun Liu
Dissertations and Theses Collection
The past twenty years have been a time of many new technological developments, changing business practices, and interesting innovations in the financial information system (IS) and technology landscape. As the financial services industry has been undergoing the digital transformation, the emergence of mobile financial services has been changing the way that customers pay for goods and services purchases and interact with financial institutions. This dissertation seeks to understand the evolution of the mobile payments technology ecosystem and how firms make mobile payments investment decisions under uncertainty, as well as examines the influence of mobile banking on customer behavior and financial …
A Digital Game Maturity Model (Dgmm), Saiqa Alemm, Luiz Fernando Capretz, Faheem Ahmed
A Digital Game Maturity Model (Dgmm), Saiqa Alemm, Luiz Fernando Capretz, Faheem Ahmed
Electrical and Computer Engineering Publications
Game development is an interdisciplinary concept that embraces artistic, software engineering, management, and business disciplines. This research facilitates a better understanding of important dimensions of digital game development methodology. Game development is considered as one of the most complex tasks in software engineering. The increased popularity of digital games, the challenges faced by game development organizations in developing quality games, and high competition in the digital game industry demand a game development maturity assessment. Consequently, this study presents a Digital Game Maturity Model to evaluate the current development methodology in an organization. The framework of this model consists of assessment …
Improving The Efficiency Of Ci With Uber-Commits, Matias Waterloo
Improving The Efficiency Of Ci With Uber-Commits, Matias Waterloo
School of Computing: Dissertations, Theses, and Student Research
Continuous Integration (CI) is a software engineering practice where developers break their coding tasks into small changes that can be integrated with the shared code repository on a frequent basis. The primary objectives of CI are to avoid integration problems caused by large change sets and to provide prompt developer feedback so that if a problem is detected, it can be easily and quickly resolved. In this thesis, we argue that while keeping changes small and integrating often is a wise approach for developers, the CI server may be more efficient operating on a different scale. In our approach, the …
Addsmart: Address Digitization And Smart Mailbox With Rfid Technology, Jonathon Ross Tew
Addsmart: Address Digitization And Smart Mailbox With Rfid Technology, Jonathon Ross Tew
Theses and Dissertations
ADDSMART is a research project focused on digitizing addresses of locations and building a smart mailbox by combining wireless sensors, cameras, locks, and RFID readers and tags into a system controlled by an Arduino board. The aim of the project is to explore the idea of address digitization (using RFID tags to store addresses) and incorporate it into a mailbox that can communicate wirelessly with the homeowner to provide mail status updates and home security footage through digital photographs. This paper demonstrates the proposed ideas, describes the design of a smart mailbox, the technology that has been used, and the …
Safegpu: Contract- And Library-Based Gpgpu For Object-Oriented Languages, Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz
Safegpu: Contract- And Library-Based Gpgpu For Object-Oriented Languages, Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz
Research Collection School Of Computing and Information Systems
Using GPUs as general-purpose processors has revolutionized parallel computing by providing, for a large and growing set of algorithms, massive data-parallelization on desktop machines. An obstacle to their widespread adoption, however, is the difficulty of programming them and the low-level control of the hardware required to achieve good performance. This paper proposes a programming approach, SafeGPU, that aims to make GPU data-parallel operations accessible through high-level libraries for object-oriented languages, while maintaining the performance benefits of lower-level code. The approach provides data-parallel operations for collections that can be chained and combined to express compound computations, with data synchronization and device …
Api Recommendation System For Software Development, Ferdian Thung
Api Recommendation System For Software Development, Ferdian Thung
Research Collection School Of Computing and Information Systems
Nowadays, software developers often utilize existing third party libraries and make use of Application Programming Interface (API) to develop a software. However, it is not always obvious which library to use or whether the chosen library will play well with other libraries in the system. Furthermore, developers need to spend some time to understand the API to the point that they can freely use the API methods and putting the right parameters inside them. In this work, I plan to automatically recommend relevant APIs to developers. This API recommendation can be divided into multiple stages. First, we can recommend relevant …
Tafloc: Time-Adaptive And Fine-Grained Device-Free Localization With Little Cost, Liqiong Chang, Jie Xiong, Xiaojiang Chen, Ju Wang, Junhao Hu, Wei Wang
Tafloc: Time-Adaptive And Fine-Grained Device-Free Localization With Little Cost, Liqiong Chang, Jie Xiong, Xiaojiang Chen, Ju Wang, Junhao Hu, Wei Wang
Research Collection School Of Computing and Information Systems
Many emerging applications drive the needs of device-free localization (DfL), in which the target can be localized without any device attached. Because of the ubiquitousness of WiFi infrastructures nowadays, the widely available Received Signal Strength (RSS) information at the WiFi Access points are commonly employed for localization purposes. However, current RSS based DfL systems have one main drawback hindering their real-life applications. That is, the RSS measurements (fingerprints) vary slowly in time even without any change in the environment and frequent updates of RSS at each location lead to a high human labor cost. In this paper, we propose an …
Fine-Grained Appliance Usage And Energy Monitoring Through Mobile And Power-Line Sensing, Nirmalya Roy, Nilavra Pathak, Archan Misra
Fine-Grained Appliance Usage And Energy Monitoring Through Mobile And Power-Line Sensing, 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 …
Comon+: A Cooperative Context Monitoring System For Multi-Device Personal Sensing Environments, Youngki Lee, Seungwoo Kang, Chulhong Min, Younghyun Ju, Inseok Hwang, Junehwa Song
Comon+: A Cooperative Context Monitoring System For Multi-Device Personal Sensing Environments, Youngki Lee, Seungwoo Kang, Chulhong Min, Younghyun Ju, Inseok Hwang, Junehwa Song
Research Collection School Of Computing and Information Systems
Continuous mobile sensing applications are emerging. Despite their usefulness, their real-world adoption has been slow. Many users are turned away by the drastic battery drain caused by continuous sensing and processing. In this paper, we propose CoMon+, a novel cooperative context monitoring system, which addresses the energy problem through opportunistic cooperation among nearby users. For effective cooperation, we develop a benefit-aware negotiation method to maximize the energy benefit of context sharing. CoMon+ employs heuristics to detect cooperators who are likely to remain in the vicinity for a long period of time, and the negotiation method automatically devises a cooperation plan …
Ciliate Codon Translator Program Manual, Quentin D. Altemose
Ciliate Codon Translator Program Manual, Quentin D. Altemose
Mathematics Summer Fellows
Understanding the evolutionary history of organisms allows us to better comprehend selective pressures and their effects on larger populations. In our study, we focused on analyzing the DNA of ciliate groups, which are single celled protozoans characterized by the presence of cilia on their outer membrane. We utilized the DNA of the organisms to analyze the changes in population genotype over time. We tested existing evolutionary models (designed to represent natural genetic variation over time in populations) against our data to identify the model with the best fit and likelihood. From the DNA and the evolutionary model with the highest …
On Understanding Preference For Agile Methods Among Software Developers, David Brian Bishop, Amit V. Deokar, Surendra Sarnikar
On Understanding Preference For Agile Methods Among Software Developers, David Brian Bishop, Amit V. Deokar, Surendra Sarnikar
Research & Publications
Agile methods are gaining widespread use in industry. Although management is keen on adopting agile, not all developers exhibit preference for agile methods. The literature is sparse in regard to why developers may show preference for agile. Understanding the factors informing the preference for agile can lead to more effective formation of teams, better training approaches, and optimizing software development efforts by focusing on key desirable components of agile. This study, using a grounded theory methodology, finds a variety of categories of factors that influence software developer preference for agile methods including self-efficacy, affective response, interpersonal response, external contingencies, and …
Mhealth Support System For Researchers And Participants, Taskina Fayezeen
Mhealth Support System For Researchers And Participants, Taskina Fayezeen
Master's Theses (2009 -)
With the proliferation of mobile technologies, there is a significant increase of research using mobile devices in the medical and public health area. Mobile technology has improved the efficiency of healthcare delivery effectively. Mobile Health or mHealth is an interdisciplinary research area which has been active for more than a decade. Much research has been conducted and many software research tools (mHealth Support System) have been developed. Despite the time length, there is a significant gap in the mHealth research area regarding software research tools. Individual research groups are developing their own software research tool though there is a significant …
A Learning-To-Rank Based Fault Localization Approach Using Likely Invariants, Tien-Duy B. Le, David Lo, Claire Le Goues, Lars Grunske
A Learning-To-Rank Based Fault Localization Approach Using Likely Invariants, Tien-Duy B. Le, David Lo, Claire Le Goues, Lars Grunske
Research Collection School Of Computing and Information Systems
Debugging is a costly process that consumes much of developer time and energy. To help reduce debugging effort, many studies have proposed various fault localization approaches. These approaches take as input a set of test cases (some failing, some passing) and produce a ranked list of program elements that are likely to be the root cause of the failures (i.e., failing test cases). In this work, we propose Savant, a new fault localization approach that employs a learning-to-rank strategy, using likely invariant diffs and suspiciousness scores as features, to rank methods based on their likelihood to be a root cause …
Satisfiability Modulo Heap-Based Programs, Quang Loc Le, Jun Sun, Wei-Ngan Chin
Satisfiability Modulo Heap-Based Programs, Quang Loc Le, Jun Sun, Wei-Ngan Chin
Research Collection School Of Computing and Information Systems
In this work, we present a semi-decision procedure for a fragment of separation logic with user-defined predicates and Presburger arithmetic. To check the satisfiability of a formula, our procedure iteratively unfolds the formula and examines the derived disjuncts. In each iteration, it searches for a proof of either satisfiability or unsatisfiability. Our procedure is further enhanced with automatically inferred invariants as well as detection of cyclic proof. We also identify a syntactically restricted fragment of the logic for which our procedure is terminating and thus complete. This decidable fragment is relatively expressive as it can capture a range of sophisticated …
Proxy Signature With Revocation, Shengmin Xu, Guomin Yang, Yi Mu, Shu Ma
Proxy Signature With Revocation, Shengmin Xu, Guomin Yang, Yi Mu, Shu Ma
Research Collection School Of Computing and Information Systems
Proxy signature is a useful cryptographic primitive that allows signing right delegation. In a proxy signature scheme, an original signer can delegate his/her signing right to a proxy signer (or a group of proxy signers) who can then sign documents on behalf of the original signer. In this paper, we investigate the problem of proxy signature with revocation. The revocation of delegated signing right is necessary for a proxy signature scheme when the proxy signer’s key is compromised and/or any misuse of the delegated right is noticed. Although a proxy signature scheme usually specifies a delegation time period, it may …
Passively Testing Routing Protocols In Wireless Sensor Networks, Xiaoping Che, Stephane Maag, Hwee-Xian Tan, Hwee-Pink Tan
Passively Testing Routing Protocols In Wireless Sensor Networks, Xiaoping Che, Stephane Maag, Hwee-Xian Tan, Hwee-Pink Tan
Research Collection School Of Computing and Information Systems
Smart systems are today increasingly developed with the number of wireless sensor devices that drastically increases. They are implemented within several contexts through our environment. Thus, sensed data transported in ubiquitous systems are important and the way to carry them must be efficient and reliable. For that purpose, several routing protocols have been proposed to wireless sensor networks (WSN). However, one stage that is often neglected before their deployment, is the conformance testing process, a crucial and challenging step. Active testing techniques commonly used in wired networks are not suitable to WSN and passive approaches are needed. While some works …
Cross-Modal Self-Taught Hashing For Large-Scale Image Retrieval, Liang Xie, Lei Zhu, Peng Pan, Yansheng Lu
Cross-Modal Self-Taught Hashing For Large-Scale Image Retrieval, Liang Xie, Lei Zhu, Peng Pan, Yansheng Lu
Research Collection School Of Computing and Information Systems
Cross-modal hashing integrates the advantages of traditional cross-modal retrieval and hashing, it can solve large-scale cross-modal retrieval effectively and efficiently. However, existing cross-modal hashing methods rely on either labeled training data, or lack semantic analysis. In this paper, we propose Cross-Modal Self-Taught Hashing (CMSTH) for large-scale cross-modal and unimodal image retrieval. CMSTH can effectively capture the semantic correlation from unlabeled training data. Its learning process contains three steps: first we propose Hierarchical Multi-Modal Topic Learning (HMMTL) to detect multi-modal topics with semantic information. Then we use Robust Matrix Factorization (RMF) to transfer the multi-modal topics to hash codes which are …