Sciweavers

COMPSAC
2007
IEEE
13 years 11 months ago
A Connector-Centric Approach to Aspect-Oriented Software Evolution
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
Yiming Lau, Wenyun Zhao, Xin Peng, Shan Tang
COMPSAC
2007
IEEE
13 years 11 months ago
An Online Monitoring Approach for Web services
High quality is one of the critical elements contributing to Web service’s success. Monitoring events that are sensitive to quality of Web services is thus an important issue fo...
Qianxiang Wang, Yonggang Liu, Min Li, Hong Mei
COMPSAC
2007
IEEE
14 years 18 days ago
Towards End User Service Composition
The popularity of Service Oriented Computing (SOC) brings a large number of distributed, well-encapsulated and reusable services all over internet, and makes it possible to create...
Xuanzhe Liu, Gang Huang, Hong Mei
COMPSAC
2007
IEEE
14 years 18 days ago
Iterative Planning in the Context of Automated Code Synthesis
Jicheng Fu, Farokh B. Bastani, I-Ling Yen
COMPSAC
2007
IEEE
14 years 18 days ago
A Method of Requirement Inconsistency Analysis
Yikun Zhang, Peng Yin, Du-Wu Cui, Hui Xia
COMPSAC
2007
IEEE
14 years 2 months ago
A Component Model for the AUTOSAR Virtual Function Bus
To reduce cost and time to market of automotive software systems and simultaneously increase the products' quality, the component paradigm has achieved broad acceptance withi...
Dietmar Schreiner, Karl M. Göschka
COMPSAC
2007
IEEE
14 years 2 months ago
Conformance Checking of Access Control Policies Specified in XACML
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie
COMPSAC
2007
IEEE
14 years 2 months ago
AOP-based automated unit test classification of large benchmarks
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...
Cyrille Artho, Zhongwei Chen, Shinichi Honiden
COMPSAC
2007
IEEE
14 years 2 months ago
Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures
Mesh simplification is a mainstream technique to render graphics responsively in modern graphical software. However, the graphical nature of the output poses a test oracle problem...
W. K. Chan, Jeffrey C. F. Ho, T. H. Tse
COMPSAC
2007
IEEE
14 years 2 months ago
Test Automation in Practice
Rajesh Subramanyan