Abstract is missing.
- Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures?Paola Inverardi. 1 [doi]
- Knowledge Sharing in Software DevelopmentHans van Vliet. 2 [doi]
- Automated Conformance Verification of Hybrid SystemsHarald Brandl, Martin Weiglhofer, Bernhard K. Aichernig. 3-12 [doi]
- A Grouping-Based Strategy to Improve the Effectiveness of Fault Localization TechniquesVidroha Debroy, W. Eric Wong, Xiaofeng Xu, Byoungju Choi. 13-22 [doi]
- On the Impact of Design Flaws on Software DefectsMarco D Ambros, Alberto Bacchelli, Michele Lanza. 23-31 [doi]
- Mining Performance Regression Testing Repositories for Automated Performance AnalysisKing Chun Foo, Zhen Ming Jiang, Bram Adams, Ahmed E. Hassan, Ying Zou, Parminder Flora. 32-41 [doi]
- Prioritizing Tests for Software Fault LocalizationAlberto González-Sanchez, Éric Piel, Hans-Gerhard Groß, Arjan J. C. van Gemund. 42-51 [doi]
- Scenarios-Based Testing of Systems with Distributed PortsRobert M. Hierons, Mercedes G. Merayo, Manuel Núñez. 52-61 [doi]
- Regression Testing Process Improvement for Specification Evolution of Real-World Protocol SoftwareBo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li. 62-71 [doi]
- A Simulation Study on Some Search Algorithms for Regression Test Case PrioritizationSihan Li, Naiwen Bian, Zhenyu Chen, Dongjiang You, Yuchen He. 72-81 [doi]
- Software Quality Prediction Models ComparedRüdiger Lincke, Tobias Gutzmann, Welf Löwe. 82-91 [doi]
- Adaptive Random Testing by Exclusion through Test ProfileHuai Liu, Xiaodong Xie, Jing Yang, Yansheng Lu, Tsong Yueh Chen. 92-101 [doi]
- Specification-Based Testing of Intrusion Detection Engines Using Logical Expression Testing CriteriaFrédéric Massicotte, Yvan Labiche. 102-111 [doi]
- Factors for Effective Use of Deployed Design PatternsT. H. Ng, Y. T. Yu, S. C. Cheung. 112-121 [doi]
- Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition SystemsChristian Schwarzl, Bernhard Peischl. 122-131 [doi]
- Prioritizing Unit Test Creation for Test-Driven Maintenance of Legacy SystemsEmad Shihab, Zhen Ming Jiang, Bram Adams, Ahmed E. Hassan, Robert Bowerman. 132-141 [doi]
- Secure Information Flow in Java via Reachability Analysis of Pushdown SystemCong Sun, Liyong Tang, Zhong Chen. 142-150 [doi]
- Correlating Context-Awareness and Mutation Analysis for Pervasive Computing SystemsHuai Wang, Ke Zhai, T. H. Tse. 151-160 [doi]
- Fault Localization Based on Dynamic Slicing and Hitting-Set ComputationFranz Wotawa. 161-170 [doi]
- An Improved Regression Test Selection Technique by Clustering Execution ProfilesChen Zhang, Zhenyu Chen, Zhihong Zhao, Shali Yan, Jinyu Zhang, Baowen Xu. 171-179 [doi]
- A Business Process Driven Approach for Generating Software ArchitectureXulin Zhao, Ying Zou. 180-189 [doi]
- An Experiment with Algebraic Specifications of Software ComponentsHong Zhu, Bo Yu. 190-199 [doi]
- Formal Modeling and Verification of Low-Level Software ProgramsBjörn Bartels, Sabine Glesner. 200-207 [doi]
- A Type System for Behavior Consistent Service Substitution in Service CompositionsJun-Qing Chen, Linpeng Huang. 208-213 [doi]
- An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software SystemsYuting Chen, Shaoying Liu, Linzhang Wang. 214-219 [doi]
- Data Unpredictability in Software Defect-Fixing Effort PredictionZhimin He, Fengdi Shu, Ye Yang, Wen Zhang, Qing Wang. 220-226 [doi]
- Software Operational Profile Modeling and Reliability Prediction with an Open EnvironmentXiaofeng Lei, Chenggang Bai, Liang Su. 227-231 [doi]
- Web Services Testing Based on Stream X-machineChunyan Ma, JunSheng Wu, Tao Zhang, Fei Hu. 232-239 [doi]
- Automating Reusable-Procedure Discovery through Developer s Action AnalysisNuyun Zhang, Gang Huang, Ying Zhang, Ning Jiang, Hong Mei. 240-247 [doi]
- Slicing Concurrent Programs Based on Program Reachability GraphsXiaofang Qi, Xiaoyu Zhou, Xiaojing Xu, Yingzhou Zhang. 248-253 [doi]
- A Methodology for Continuos Quality Assessment of Software ArtefactsMoisés Rodríguez, Marcela Genero, Damiano Torre, Belen Blasco, Mario Piattini. 254-261 [doi]
- Open Code Coverage Framework: A Consistent and Flexible Framework for Measuring Test Coverage Supporting Multiple Programming LanguagesKazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa. 262-269 [doi]
- Generating Provably Correct Algorithmic Programs from Formal SpecificationsHaihe Shi, Jinyun Xue. 270-275 [doi]
- Increasing System Availability with Local Recovery Based on Fault LocalizationHasan Sözer, Rui Abreu, Mehmet Aksit, Arjan J. C. van Gemund. 276-281 [doi]
- Towards an Empirical Reuse Approach for the Software Evolution: A Case StudyZiyou Wang, Minghui Zhou, Hong Mei. 282-287 [doi]
- Implementing Self-Adaptive Software Architecture by Reflective Component Model and Dynamic AOP: A Case StudyYuankai Wu, Yijian Wu, Xin Peng, Wenyun Zhao. 288-293 [doi]
- Performance Prediction of WS-CDL Based Service CompositionYunni Xia, Hongchao Xue, Xiuwu Wang. 294-299 [doi]
- Automated Program Verification Using Generation of InvariantsJianying Xing, Mengjun Li, Zhoujun Li. 300-305 [doi]
- Visualized Scenario Classification MethodYusaku Yoshida, Atsushi Ohnishi. 306-311 [doi]
- A Fault-Tolerant Strategy for Improving the Reliability of Service CompositionHuiqun Yu, Guisheng Fan, Liqiong Chen, Dongmei Liu. 312-317 [doi]
- Active Monitoring for Control Systems under Anticipatory SemanticsChangzhi Zhao, Wei Dong, Zhichang Qi. 318-325 [doi]
- Event Handler-Based Coverage for GUI TestingLei Zhao, Kai-Yuan Cai. 326-331 [doi]
- Evaluating Web Site Quality: A Statistical ApproachIsabella Biscoglio, Alessandro Coco, Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami, Gianluca Trentanni. 332-336 [doi]
- Testing Long-Lived Web Services Transactions Using a Risk-Based ApproachRuben Casado, Javier Tuya, Muhammad Younas. 337-340 [doi]
- Requirement Checking: Generating Uses Cases out of Navigational Logs in Web ApplicationsZuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu. 341-344 [doi]
- Good Practices as a Quality-Oriented Modeling AssistantVincent Le Gloahec, Régis Fleurquin, Salah Sadou. 345-348 [doi]
- Control and Data Complexity Metrics for Web Service CompositionsChengying Mao. 349-352 [doi]
- Designing Test Coverage for Grey Box AnalysisFaizah Omar, Suhaimi Ibrahim. 353-356 [doi]
- An Integrated Support for Attributed Goal-Oriented Requirements Analysis Method and its ImplementationMotoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya. 357-360 [doi]
- A Refinement-Based Validation Method for Programmable Logic ControllersHai Wan, Xiaoyu Song, Gang Chen, Ming Gu. 361-364 [doi]
- Towards Runtime Plug-and-Play SoftwareTao Wang, Xiaowei Zhou, Jun Wei, Wenbo Zhang. 365-368 [doi]
- Mapping UML Activity Diagrams to Analyzable Petri Net ModelsNianhua Yang, Huiqun Yu, Hua Sun, Zhilin Qian. 369-372 [doi]
- An MDE Based Approach for Generating Software Architecture Models from Formal SpecificationsYi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan. 373-376 [doi]
- On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault LocalizationBo Jiang, W. K. Chan. 377-384 [doi]
- Isolating Suspiciousness from Spectrum-Based Fault Localization TechniquesXiaoyuan Xie, Tsong Yueh Chen, Baowen Xu. 385-392 [doi]
- A Debugging Approach for Java Runtime Exceptions Based on Program Slicing and Stack TracesShujuan Jiang, Hongchang Zhang, Qingtan Wang, Yanmei Zhang. 393-398 [doi]
- A Novel Approach to Automatic Test Case Generation for Web ApplicationsYuan-Hsin Tung, Shian-Shyong Tseng, Tsung-Ju Lee, Jui-Feng Weng. 399-404 [doi]
- An Executable Concurrent Model for OWL-S Process ModelsZhenhua Duan, Cong Tian. 405-413 [doi]
- NPE A Conceptual Model and Language for the Representation of NormsAndrew Kevin Douglas, Robert John Walters, Gary B. Wills. 414-421 [doi]
- Web Service Security Analysis Model Based on Program SlicingXiaohong Li, Yan Cao, Zhiyong Feng, Ran Liu. 422-428 [doi]
- Develop Web Services for Reliable Cross-Platform Web ApplicationsJiang B. Liu, Nithya Vasudevan Praveen, Kumar Macherla. 429-434 [doi]
- Design of BDI Agent for Adaptive Performance Testing of Web ServicesBo Ma, Bin Chen, Xiaoying Bai, Junfei Huang. 435-440 [doi]
- A Probabilistic QoS Model-Checking for Dynamic Routing ProtocolHongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu. 441-448 [doi]
- Point-of-Interest Aware Test Case Prioritization: Methods and ExperimentsKe Zhai, W. K. Chan. 449-456 [doi]
- Algebraic Specification of Web ServicesHong Zhu, Bo Yu. 457-464 [doi]
- Building Multi-kernel Embedded System on PAC Multi-core PlatformJing Chen, Chung-Ping Young, Da-Wei Chang, Guan-Ying Huang, Chung-Yuan Ke, Shih-Tun Yen, Tsang-Shuo Kuo. 465-472 [doi]
- Leveraging Performance and Power Savings for Embedded Systems Using Multiple Target DeadlinesEdward Y. Y. Kan, W. K. Chan, T. H. Tse. 473-480 [doi]
- Supporting Tool for Embedded Software TestingChorng-Shiuh Koong, Hung-Jui Lai, Chih-Hung Chang, William C. Chu, Nien-Lin Hsueh, Pao-Ann Hsiung, Chihhsiong Shih, Chao-Tung Yang. 481-487 [doi]
- From Applications, to Models and to Embedded System Code: A Modeling Approach in ActionHsin-Yu Tung, Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Hongji Yang. 488-494 [doi]
- Adaptive Interaction Fault Location Based on Combinatorial TestingZiyuan Wang, Baowen Xu, Lin Chen, Lei Xu. 495-502 [doi]
- Modeling and Analysis of the Behavior of uCOS Kernel Based on CSPZhenHong Xu. 503-509 [doi]