Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (328)
- Computer Engineering (258)
- Databases and Information Systems (196)
- OS and Networks (76)
- Social and Behavioral Sciences (73)
-
- Life Sciences (57)
- Communication (56)
- Information Security (56)
- Communication Technology and New Media (55)
- Software Engineering (55)
- Bioinformatics (51)
- Science and Technology Studies (51)
- Business (46)
- Education (46)
- Electrical and Computer Engineering (46)
- Mathematics (46)
- Higher Education (38)
- Arts and Humanities (37)
- Numerical Analysis and Scientific Computing (36)
- Applied Mathematics (34)
- History (34)
- Science and Mathematics Education (34)
- History of Science, Technology, and Medicine (33)
- Teacher Education and Professional Development (33)
- Graphics and Human Computer Interfaces (31)
- Artificial Intelligence and Robotics (24)
- Digital Communications and Networking (23)
- Operations Research, Systems Engineering and Industrial Engineering (23)
- Institution
-
- Wright State University (240)
- Singapore Management University (136)
- Edith Cowan University (52)
- Brigham Young University (50)
- Institute of Business Administration (43)
-
- University of Nebraska - Lincoln (42)
- Dartmouth College (39)
- University of Texas at Arlington (39)
- California Polytechnic State University, San Luis Obispo (37)
- Taylor University (33)
- Regis University (30)
- New Jersey Institute of Technology (29)
- Old Dominion University (29)
- Air Force Institute of Technology (28)
- California State University, San Bernardino (27)
- Missouri University of Science and Technology (27)
- Purdue University (26)
- TÜBİTAK (24)
- Washington University in St. Louis (21)
- Louisiana State University (18)
- Syracuse University (18)
- University of Central Florida (18)
- City University of New York (CUNY) (13)
- Portland State University (10)
- Technological University Dublin (10)
- Munster Technological University (9)
- Nova Southeastern University (9)
- Smith College (9)
- University of Nebraska at Omaha (9)
- Trinity University (7)
- Keyword
-
- College for Professional Studies (30)
- MS Computer and Information Technology (29)
- School of Computer & Information Science (25)
- Regis University MSCIT thesis (21)
- [aism] (18)
-
- Security (16)
- Computer Science (11)
- Engineering (11)
- College of Engineering and Computer Science (10)
- Computer security (10)
- Newsletters (10)
- Science news (10)
- Technical writing (10)
- Computer science (9)
- Ontology (9)
- Data mining (8)
- Sensor networks (8)
- Wireless (8)
- Clustering (7)
- Decision making (7)
- Information security (7)
- Information technology (7)
- Mobile computing (7)
- Semantic Web (7)
- Applied sciences (6)
- Information retrieval (6)
- Machine learning (6)
- Network (6)
- Scheduling (6)
- Software engineering (6)
- Publication
-
- Computer Science & Engineering Syllabi (165)
- Research Collection School Of Computing and Information Systems (133)
- Theses and Dissertations (64)
- Research outputs pre 2011 (44)
- International Conference on Information and Communication Technologies (43)
-
- Kno.e.sis Publications (37)
- ACMS Conference Proceedings 2005 (33)
- Computer Science Technical Reports (33)
- Computer Science and Engineering Theses - Archive (33)
- Computer Science and Software Engineering (33)
- Regis University Student Publications (comprehensive collection) (30)
- Theses Digitization Project (27)
- Department of Computer Science Technical Reports (26)
- Faculty Publications (26)
- Computer Science and Engineering Faculty Publications (25)
- Turkish Journal of Electrical Engineering and Computer Sciences (24)
- All Computer Science and Engineering Research (21)
- Electronic Theses and Dissertations (21)
- School of Computing: Conference and Workshop Papers (20)
- Theses (20)
- Dissertations (19)
- Electrical Engineering and Computer Science - All Scholarship (18)
- Computer Science Faculty Publications (17)
- Computer Science Faculty Research & Creative Works (13)
- School of Computing: Technical Reports (12)
- BITs and PCs Newsletter (10)
- Electrical & Computer Engineering Theses & Dissertations (10)
- Computer Science: Faculty Publications (9)
- Dartmouth Scholarship (9)
- Electrical and Computer Engineering Faculty Research & Creative Works (9)
- Publication Type
- File Type
Articles 1 - 30 of 1206
Full-Text Articles in Computer Sciences
Probabilistic Road Map Sampling Strategies For Multi-Robot Motion Planning, Christopher M. Clark
Probabilistic Road Map Sampling Strategies For Multi-Robot Motion Planning, Christopher M. Clark
Computer Science and Software Engineering
This paper presents a Probabilistic Road Map (PRM) motion planning algorithm to be queried within Dynamic Robot Networks—a multi-robot coordination platform for robots operating with limited sensing and inter-robot communication. First, the Dynamic Robot Networks (DRN) coordination platform is introduced that facilitates centralized robot coordination across ad hoc networks, allowing safe navigation in dynamic, unknown environments. As robots move about their environment, they dynamically form communication networks. Within these networks, robots can share local sensing information and coordinate the actions of all robots in the network. Second, a fast single-query Probabilistic Road Map (PRM) to be called within the DRN …
The Influence Of Quantization Process On The Performance Of Global Entropic Thresholding Algorithms Using Electrical Capacitance Tomography Data, A. J. Mwambela
The Influence Of Quantization Process On The Performance Of Global Entropic Thresholding Algorithms Using Electrical Capacitance Tomography Data, A. J. Mwambela
Tanzania Journal of Science
In measuring component fraction in multiphase flows using tomographic techniques, it is desirable to use a high speed tomography system capable of generating 100 tomograms per second. The electrical capacitance tomography system in this regard is considered to be the best among the available tomographic techniques. However, due to its inherent limitations the system generates distorted reconstructed tomograms necessitating the use of extra signal processing techniques such as thresholding to minimize these distortions. Whilst thresholding technique has been effective in minimizing distortions, the additional computation associated with the process limits the speed of tomogram generation desired from the system. Further, …
Intelligent Resource Discovery Using Ontology-Based Resource Profiles, J. Steven Hughes, Dan Crichton, Sean Kelly, Chris A. Mattmann, Jerry Crichton, Thuy Tran
Intelligent Resource Discovery Using Ontology-Based Resource Profiles, J. Steven Hughes, Dan Crichton, Sean Kelly, Chris A. Mattmann, Jerry Crichton, Thuy Tran
Copyright, Fair Use, Scholarly Communication, etc.
Successful resource discovery across heterogeneous repositories is highly dependent on the semantic and syntactic homogeneity of the associated resource descriptions in each repository. Ideally, consistent resource descriptions are easily extracted from each repository, expressed using standard syntactic and semantic structures, and managed and accessed within a distributed, flexible, and scalable software framework. In practice however, seldom do all three of these elements exist. To help address this situation, the Object Oriented Data Technology (OODT) project at the Jet Propulsion Laboratory has developed an extensible, standards-based resource description scheme that provides the necessary description and management facilities for the discovery of …
Foreign Migration To The Cleveland-Akron-Lorain Metropolitan Area From 1995 To 2000, Mark Salling, Ellen Cyran
Foreign Migration To The Cleveland-Akron-Lorain Metropolitan Area From 1995 To 2000, Mark Salling, Ellen Cyran
All Maxine Goodman Levin School of Urban Affairs Publications
This report is one of a series on migration to and from the region using the five percent Public Use Microdata Sample (PUMS) of the 2000 Census of Population and Housing and provides a description of foreign migrants moving to the Cleveland-Akron-Lorain (CAL) Consolidated Metropolitan Area (CMSA) from 1995 to 2000.* The report identifies the countries of origin of migrants and compares the demographic, socioeconomic, and housing characteristics of the foreign migrants to the CAL with other groups, including foreign migrants to Ohio and the nation, and, at times, to domestic migrants to and from the CAL.
Learning Successful Strategies In Repeated General-Sum Games, Jacob W. Crandall
Learning Successful Strategies In Repeated General-Sum Games, Jacob W. Crandall
Theses and Dissertations
Many environments in which an agent can use reinforcement learning techniques to learn profitable strategies are affected by other learning agents. These situations can be modeled as general-sum games. When playing repeated general-sum games with other learning agents, the goal of a self-interested learning agent is to maximize its own payoffs over time. Traditional reinforcement learning algorithms learn myopic strategies in these games. As a result, they learn strategies that produce undesirable results in many games. In this dissertation, we develop and analyze algorithms that learn non-myopic strategies when playing many important infinitely repeated general-sum games. We show that, in …
Monitoring Pc Hardware Sounds In Linux Systems Using The Daubechies D4 Wavelet., Robert Karns Henry
Monitoring Pc Hardware Sounds In Linux Systems Using The Daubechies D4 Wavelet., Robert Karns Henry
Electronic Theses and Dissertations
Users of high availability (HA) computing require systems that run continuously, with little or no downtime. Modern PCs address HA needs by monitoring operating system parameters such as voltage, temperature, and hard drive status in order to anticipate possible system failure. However, one modality for PC monitoring that has been underutilized is sound. The application described here uses wavelet theory to analyze sounds produced by PC hard drives during standard operation. When twenty-nine hard drives were tested with the application and the results compared with the drives' Self-Monitoring, Analysis, and Reporting Technology (S.M.A.R.T.) data, the binomial distribution's low p-value of …
Using Prospect Theory To Investigate Decision-Making Bias Within An Information Security Context, Neil J. Schroeder
Using Prospect Theory To Investigate Decision-Making Bias Within An Information Security Context, Neil J. Schroeder
Theses and Dissertations
Information security is an issue that has increased in importance over the past decade. In this time both practitioner and academic circles have researched and developed practices and process to more effectively handle information security. Even with growth in these areas there has been little research conducted into how decision makers actually behave. This is problematic because decision makers in the Department of Defense have been observed exhibiting risk seeking behavior when making information security decisions that seemingly violate accepted norms. There are presently no models in the literature that provide sufficient insight into this phenomenon. This study used Prospect …
Conference Web Site Redesign, Steven M. Pisarski
Conference Web Site Redesign, Steven M. Pisarski
Regis University Student Publications (comprehensive collection)
Sustainable Resources was a non-profit organization based out of Boulder, CO that, at the time of this project hosted yearly conferences to help find solutions to world poverty. Although, the previous web site had a professional appearance, it was not meeting their needs with regards to usability, extensibility, and maintainability, as they had been forced to rely heavily on a transient volunteer IT labor base. The aim of this project was to address their functional and maintenance problems. The application's front-end was built in adherence to the Model -view-Controller (MVC) design pattern and implemented using the Jakarta Struts framework and …
New Graph Model For Channel Assignment In Ad Hoc Wireless Networks, Maggie Xiaoyan Cheng, S. C. Huang, X. Huang, Weili Wu
New Graph Model For Channel Assignment In Ad Hoc Wireless Networks, Maggie Xiaoyan Cheng, S. C. Huang, X. Huang, Weili Wu
Computer Science Faculty Research & Creative Works
The channel assignment problem in ad hoc wireless networks is investigated. The problem is to assign channels to hosts in such a way that interference among hosts is eliminated and the total number of channels is minimised. Interference is caused by direct collisions from hosts that can hear each other or indirect collisions from hosts that cannot hear each other, but simultaneously transmit to the same destination. A new class of disk graphs (FDD: interFerence Double Disk graphs) is proposed that include both kinds of interference edges. Channel assignment in wireless networks is a vertex colouring problem in FDD graphs. …
Trust Broker: A Defense Against Identity Theft From Online Transactions, Michael George Edvalson
Trust Broker: A Defense Against Identity Theft From Online Transactions, Michael George Edvalson
Theses and Dissertations
The proliferation of online services over the years has encouraged more and more people to participate in Internet activities. Many web sites request personal and sensitive information needed to deliver the desired service. Unfortunately, it is difficult to distinguish the sites that can be trusted to protect such information from those that cannot. Many attempts to make the Internet easier to use introduce new security and privacy problems. On the other hand, most attempts at creating a safe online environment produce systems that are cryptic and hard to use. The TrustBroker system is based on a specialized online repository that …
Industrial Technology Education Teachers Perceptions Of National Standards For Technological Literacy In The State Of Arizona, Allan R. Mcrae
Industrial Technology Education Teachers Perceptions Of National Standards For Technological Literacy In The State Of Arizona, Allan R. Mcrae
Theses and Dissertations
Today, it is becoming increasingly clear that there is a growing interest, concern, and need for technological literacy. To this end, the International Technology Education Association (ITEA) through the Technology for All Americans Project, has developed and promulgated the Standards for Technological Literacy: Content for the Study of Technology. This effort is part of the ongoing initiative to develop technology standards on a national level, and to focus on what every student in grades K-12 should know and be able to do in order to achieve technological literacy (ITEA, 2000). The purpose of this study was to investigate the perceived …
The Cherry Creek Sneak A Database Solution, Analissa Hilt
The Cherry Creek Sneak A Database Solution, Analissa Hilt
Regis University Student Publications (comprehensive collection)
The purpose of the database was to provide a repository of information about the race, the racers, the sponsors and other miscellaneous information that may in the future prove to provide a better understanding of the customers of The Sneak. This project was completed with the long-term goals that the information contained in the database will be utilized to reduce registration time, recruit prior year participants to participate in future events and provide a tool to intimately understand the customers of the race.
Openws-Transaction: Enabling Reliable Web Service Transactions, Ivan Vasquez, John A. Miller, Kunal Verma, Amit P. Sheth
Openws-Transaction: Enabling Reliable Web Service Transactions, Ivan Vasquez, John A. Miller, Kunal Verma, Amit P. Sheth
Kno.e.sis Publications
OpenWS-Transaction is an open source middleware that enables Web services to participate in a distributed transaction as prescribed by the WS-Coordination and WS-Transaction set of specifications. Central to the framework are the Coordinator and Participant entities, which can be integrated into existing services by introducing minimal changes to application code. OpenWS-Transaction allows transaction members to recover their original state in case of operational failure by leveraging techniques in logical logging and recovery at the application level. Depending on transaction style, system recovery may involve restoring key application variables and replaying uncommitted database activity. Transactions are assumed to be defined in …
Demonstrating Dynamic Configuration And Execution Of Web Processes, Karthik Gomadam, Kunal Verma, Amit P. Sheth, John A. Miller
Demonstrating Dynamic Configuration And Execution Of Web Processes, Karthik Gomadam, Kunal Verma, Amit P. Sheth, John A. Miller
Kno.e.sis Publications
Web processes are next generation workflows on the web, created using Web services. In this paper we demonstrate the METEOR-S Configuration and Execution Environment (MCEE) system. It will illustrate the capabilities of the system to a) Discover partners b) Optimize partner selection using constraint analysis, c) Perform interaction protocol and data mediation. A graphical execution monitor to monitor the various phases of execution will be used to demonstrate various aspects of the system.
Loss Aware Rate Allocations In H.263 Coded Video Transmissions, Xiao Su, Benjamin Wah
Loss Aware Rate Allocations In H.263 Coded Video Transmissions, Xiao Su, Benjamin Wah
Faculty Publications
For packet video, information loss and bandwidth limitation are two factors that affect video playback quality. Traditional rate allocation approaches have focused on optimizing video quality under bandwidth constraint alone. However, in the best-effort Internet, packets carrying video data are susceptible to losses, which need to be reconstructed at the receiver side. In this paper, we propose loss aware rate allocations in both group-of-block (GOB) level and macroblock level, given that certain packets are lost during transmissions and reconstructed using simple interpolation methods at the receiver side. Experimental results show that our proposed algorithms can produce videos of higher quality …
A Framework For Management Of Semistructured Probabilistic Data, Wenzhong Zhao, Alex Dekhtyar, Judy Goldsmith
A Framework For Management Of Semistructured Probabilistic Data, Wenzhong Zhao, Alex Dekhtyar, Judy Goldsmith
Computer Science and Software Engineering
This paper describes the theoretical framework and implementation of a database management system for storing and manipulating diverse probability distributions of discrete random variables with finite domains, and associated information. A formal Semistructured Probabilistic Object (SPO) data model and a Semistructured Probabilistic Query Algebra (SP-algebra) are proposed. The SP-algebra supports standard database queries as well as some specific to probabilities, such as conditionalization and marginalization. Thus, the Semistructured Probabilistic Database may be used as a backend to any application that involves the management of large quantities of probabilistic information, such as building stochastic models. The implementation uses XML encoding of …
Triangle Grouping And Structure Recovery For 3d Building Modelling And Visualization, Joe Hegarty, James Carswell
Triangle Grouping And Structure Recovery For 3d Building Modelling And Visualization, Joe Hegarty, James Carswell
Conference papers
Location based and spatial technologies research for the web has endless application for mobile/position content delivery (m-commerce or pcommerce). By exploiting the inherent location-based intelligence of the underling spatial component, relevant examples can include geometrically accurate and photo realistic virtual representations for: property assessments; land/marine information systems; routing information; on-line shopping; cultural heritage/tourist information/sites; etc. A major challenge for this technology is its reliance on professional developers when creating the virtual worlds used for web-based navigation of these services. This paper describes SAMATS, a Semi-Automated Modeling And Texturing System, which has the capability of producing geometrically accurate and photorealistic VR …
Design Of North Texas Pc Users Group Ecommerce Interface And Online Membership System, Jeir J. Steele
Design Of North Texas Pc Users Group Ecommerce Interface And Online Membership System, Jeir J. Steele
Regis University Student Publications (comprehensive collection)
The North Texas PC Users Group is a non-profit that is struggling with their existing membership process. This thesis explores the analysis of a new membership process and discusses the resulting new architecture and system design to implement it. The implementation of this new business process will reduce the time to produce the standard monthly reports and foster future membership retention efforts. The new design supports Ecommerce instant transactions, online availability of reports for the Board of Directors, and the access control of a member-only online site. The research for this project included an analysis of the cost, benefits, and …
A Scalable Correlation Aware Aggregation Strategy For Wireless Sensor Networks, Yujie Zhu, Ramanuja Vedantham, Seung Jong Park, Raghupathy Sivakumar
A Scalable Correlation Aware Aggregation Strategy For Wireless Sensor Networks, Yujie Zhu, Ramanuja Vedantham, Seung Jong Park, Raghupathy Sivakumar
Computer Science Faculty Research & Creative Works
Sensors-to-sink data in wireless sensor networks (WSNs) are typically correlated with each other. Exploiting such correlation when performing data aggregation can result in considerable improvements in the bandwidth and energy performance of WSNs. In order to exploit such correlation, we present a scalable and distributed correlation-aware aggregation structure that addresses the practical challenges in the context of aggregation in WSNs. Through simulations and analysis, we evaluate the performance of the proposed approach with centralized and distributed correlation aware and unaware structures.
Developing A Strategic Is Plan For The Cherry Creek Sneak, Stephanie Bass
Developing A Strategic Is Plan For The Cherry Creek Sneak, Stephanie Bass
Regis University Student Publications (comprehensive collection)
The Cherry Creek Sneak is the 3rd largest 5-mile race in the United States.Currently, 10% of the proceeds from the race are donated to the ColoradoGovernor's Council to fight childhood obesity. The co-owners of the race, Pat Downing and Paula Tiernen, live in different states, and because of this, are unable to manage The Cherry Creak Sneak, or any business regarding the race efficiently. In order to continue the race in the future, they have requested that the Cherry Creek Sneak website be the place where their business is conducted. The goal of this project, therefore, is to create a …
Implementation Of Coeus Grant Management Software At The Desert Research Institute, Patricia Kingsmill
Implementation Of Coeus Grant Management Software At The Desert Research Institute, Patricia Kingsmill
Regis University Student Publications (comprehensive collection)
The Internet and electronic commerce have opened up new opportunities for efficiency in research administration. Public Law 106-107 or the Federal Financial Assistance Improvement Act signed on November 20, 1999 and the President's Management Agenda have formally charged federal grant-making agencies with creating a single electronic system to find and apply for federal grant opportunities. In response to this directive, recipient organizations will need the ability to electronically prepare and submit proposal information and receive funding data from the sponsoring agency. This project reviews the implementation of a software package, MIT's Coeus Grant Management System, as a solution to the …
Enterprise Systems Manager, Edward Aractingi
Enterprise Systems Manager, Edward Aractingi
IT Research
Presentation on the need of remote systems administration.
Interactive Animated Concept Map Generation - Using Dynamic Animations, Suneel Vana
Interactive Animated Concept Map Generation - Using Dynamic Animations, Suneel Vana
Computer Science and Engineering Theses - Archive
We present a visualization tool, which is useful for the illustration of educational concepts using interactive animated concept maps. This system serves as a presentation tool which provides a collection of multimedia elements (images, animations, audios clips and video clips), a collection of animated presentation templates and an interface by using which users can retrieve the multimedia elements from the multimedia database and generate the dynamic animations by placing the selected elements into the placeholders of the templates. The system generates the animated presentation by replacing embedded multimedia objects and their properties as desired by its users. A multimedia information …
Distributed Computing And Computer Security Education, Stefan Robila
Distributed Computing And Computer Security Education, Stefan Robila
Department of Computer Science Faculty Scholarship and Creative Works
This paper presents our experience in using cluster computing when teaching Computer and Data Security. The background knowledge together with the topics that fit the best applications of distributed computing and the hardware and software needs are discussed. Several project activities are presented with some analyzed in detail. The first requires the students to develop a computer cluster out of a regular public lab and use it for building security attacks such as password and encryption key cracking. The second deals with prime number generation using a client /server architecture (implemented in Java) and an Oracle database complemented by the …
A New Fault Information Model For Fault-Tolerant Adaptive And Minimal Routing In 3-D Meshes, Zhen Jiang, Jie Wu, Dajin Wang
A New Fault Information Model For Fault-Tolerant Adaptive And Minimal Routing In 3-D Meshes, Zhen Jiang, Jie Wu, Dajin Wang
Department of Computer Science Faculty Scholarship and Creative Works
In this paper we rewrite Wang's Minimal-Connected-Component (MCC) model [7] in 2-D meshes without using global information so that not only the existence of a minimal path can be ensured at the source, but also such a path can be formed by routing decisions at intermediate nodes along the path. We extend this MCC model and the corresponding routing in 2-D meshes to 3-D meshes. It is based on our early work on fault tolerant adaptive and minimal routing [9] and the boundary information model [8] in 3-D meshes. We study fault tolerant adaptive and minimal routing from the source …
Monitoring Health By Detecting Drifts And Outliers In Patterns Of An Inhabitant In A Smart Home, Gaurav Jain
Monitoring Health By Detecting Drifts And Outliers In Patterns Of An Inhabitant In A Smart Home, Gaurav Jain
Computer Science and Engineering Theses - Archive
The elderly, along with people with disabilities or chronic illness, are most often dependent on some kind of formal or informal care. They are forced to move to a place where they can be cared for. Automatic health monitoring allows them to maintain their independence and continue living at home longer by continuously providing key health and activity information to caregivers. In this thesis, we present a novel technique, called the Health Monitoring System (HMS), which is a data-driven automated monitoring system for detecting changes in the patterns of activities/inactivity, health data and the living environment. HMS classifies these changes …
Infosearch: A System For Searching And Retrieving Documents Using Complex Queries, Nikhil Deshpande
Infosearch: A System For Searching And Retrieving Documents Using Complex Queries, Nikhil Deshpande
Computer Science and Engineering Theses - Archive
The colossal amount of information available online has resulted in overloading users who need to navigate this information for their routine requirements. Although search engines have been effective in reducing this information overload, they support only queries involving keywords and Boolean operators. There are certain application domains where more expressive ways of searching are necessary. Consider searching a full-text patent database for documents containing more than n occurrences of a pattern, or for documents that have a particular pattern followed by another pattern within a specified interval. Such complex patterns involving pattern frequency and sequence, as well as patterns involving …
Customization Of A Generic Search Engine By Adding User Categories, Ajay Mohandas Madkaiker
Customization Of A Generic Search Engine By Adding User Categories, Ajay Mohandas Madkaiker
Computer Science and Engineering Theses - Archive
The current search engines available on the Net are generic in nature. They do not consider user preferences and treat all users information needs in the same way. As a result they frequently return a large number of links, that do not meet the user's information need. This requires more searching to find what the user is looking for. For example if a user is interested in a particular game, e.g. cricket, and enters the query world cup, a generic search engine would return links of all the sports that hold a world cup. The user has to browse through …
Estream: An Integration Of Event And Stream Processing, Vihang Garg
Estream: An Integration Of Event And Stream Processing, Vihang Garg
Computer Science and Engineering Theses - Archive
Event and stream data processing models have been researched extensively and are utilized in diverse application domains. Advanced applications require both event and stream processing, which is currently not supported. Although there are number of similarities and differences between them, a synergistic integration of their strengths will be better than the sum of their parts. In this thesis, we present EStream, an integrated event and stream processing system for monitoring changes on stream computations and for expressing and processing complex events on continuous queries (CQs). We introduce attribute-based constraints for reducing uninteresting events that are generated from CQs. We discuss …
Testing Java Monitors By State Space Exploration, Monica Maria Hernandez
Testing Java Monitors By State Space Exploration, Monica Maria Hernandez
Computer Science and Engineering Theses - Archive
Java monitors are classes that are intended to be accessed by multiple threads at the same time. Detecting synchronization faults in Java Monitors is considerably more challenging than testing regular classes, due to the inherent non-determinism of concurrent programs. This thesis proposes a state based exploration approach to testing Java monitors. This approach consists of exploring the state space of a Java monitor in a depth-first manner, dynamically building test sequences, which are comprised by the states explored along each path. Moreover, threads are introduced on the fly during the exploration of each path, based on several rules for simulating …