Search
Now showing items 111-118 of 118
An Emperical Evaluation Of Adequacy Criteria For Testing Concurrent Programs
(Computer Science & Engineering, 2007-08-23)
A concurrent program contains two or more threads that execute concurrently and work together to perform some task. Concurrency increases the efficiency of a program. Testing of concurrent programs has been a challenging ...
Enhancing JSWAT For Monitor-based Executions
(Computer Science & Engineering, 2008-08-08)
Concurrent programs contain more than one thread that executes concurrently to accomplish a particular task. Since the threads in a concurrent program work together to accomplish a common goal, they share the data, code, ...
HEROS: A Patient-centered Goal-directed Electronic Medical Record System For The Homeless
(Computer Science & Engineering, 2007-08-23)
Homelessness is a growing problem in the United States. Numerous barriers keep the street homeless from obtaining healthcare. Medical Street Outreach (MSO) programs are designed to reach out to the homeless. Gathering ...
Testing Java Monitors By State Space Exploration
(Computer Science & Engineering, 2007-08-23)
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 ...
Monitorexplorer: A State-space Exploration Based Tool To Test Java Monitors Implementations
(Computer Science & Engineering, 2007-08-23)
A monitor is a concurrency construct that encapsulates data. There are many application classes which are written using the Java Monitors and these are difficult to test due to the inherent complexities of the concurrent ...
High-level Constraint Support For Combinatorial Testing
(Computer Science & Engineering, 2008-09-17)
Combinatorial testing constructs test
cases by combining different input
parameter values based on some effective
combinatorial strategy. This software
testing approach has displayed very
promising attributes and ...
Automated Software Testing Using Covering Arrays
(Computer Science & Engineering, 2007-08-23)
Modern society is increasingly dependent on the quality of software systems. Software testing is a widely used approach to ensure software quality. Since exhaustive testing is impractical due to resource constraints, it ...
Adaptive Agent Communities For Providing Services In Dynamic Networks
(Computer Science & Engineering, 2007-08-23)
New network applications are being created everyday to accommodate diverse user needs. Delivering services to the user in a timely manner taking into account network conditions, resources allocated and network load is a ...