Search this site:
Home
City University of Hong Kong
Department of Computer Science
Research
Teaching
Professional Services
Grants
For New Research Students
CityU FYP
JSS CFP (Engineering Test Harness)
Workshop CFP
Home
»
Master index
»
Research
» GRF 111107
GRF 111107
A Metamorphic Testing Methodology for Online SOA Application Testing
A Study on the Efficiency Aspect of Data Race Detection: A Compiler Optimization Level Perspective
A tale of clouds: paradigm comparisons and some thoughts on research issues
A Web Search-centric Approach to Recommender Systems with URLs as Minimal User Contexts
An adaptive service selection approach to service composition
An empirical study of the use of Frankl-Weyuker data flow testing criteria to test BPEL web services
An experimental study to compare the use of metamorphic testing and assertion checking to alleviate the test oracle problem
Atomicity analysis of service composition across organizations
Capturing propagation of infected program states
CARISMA: a Context-sensitive Approach to Race-condition sample-Instance Selection for Multithreaded Applications
Data flow testing of service-oriented workflow applications
Debugging through evaluation sequences: a controlled experimental study
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing
EClass: an execution classification approach to improving the energy-efficiency of software via machine learning
Fault Localization Based Only on Failed Runs
Fault localization with non-parametric program behavior model
Grants
Heuristics-based strategies for resolving context inconsistencies in pervasive computing applications
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
Leveraging Performance and Power Savings for Embedded Systems using Multiple Target Deadlines
Lock Trace Reduction for Multithreaded Programs
LOFT: Redundant Synchronization Event Removal for Data Race Detection
More tales of clouds: software engineering research issues from the cloud application perspective
On Accuracy-Performance Tradeoff Frameworks for Energy Saving: Models and Review
PAT: a pattern classification approach to automatic reference oracles for the testing of mesh simplification programs
Preemptive Regression Test Scheduling Strategies: A New Testing Approach to Thriving on the Volatile Service Environments
Prioritizing Test Cases for Regression Testing of Location-Based Services: Metrics, Techniques and Case Study
Synthesizing component-based WSN applications via automatic combination of code optimization techniques
Tag-based techniques for black-box test case prioritization for service testing
Taming coincidental correctness: coverage refinement with context pattern to improve fault localization
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs
Test case prioritization for regression testing of service-oriented business applications
Testing pervasive software in the presence of context inconsistency resolution services
Toward scalable statistical service selection
Where to adapt dynamic service compositions
Selected Tags
conference
journal
Tag Groups
Research
Teaching
Links
