Adaptive Random Testing (English)
- New search for: Chen, T. Y.
- New search for: Chen, T. Y.
In:
2008 The Eighth International Conference on Quality Software
;
443
;
2008
-
ISBN:
-
ISSN:
- Conference paper / Electronic Resource
-
Title:Adaptive Random Testing
-
Contributors:Chen, T. Y. ( author )
-
Published in:
-
Publisher:
- New search for: IEEE
-
Publication date:2008-08-01
-
Size:124595 byte
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Novel Applications of Machine Learning in Software TestingBriand, Lionel C. et al. | 2008
- 11
-
Testing in the Distributed Test Architecture: An Extended AbstractHierons, Robert M. et al. | 2008
- 17
-
A Coalgebraic Semantic Framework for Reasoning about UML Sequence DiagramsMeng, Sun / Barbosa, Luís S. et al. | 2008
- 27
-
On the Composition of Design PatternsBayley, Ian / Zhu, Hong et al. | 2008
- 37
-
An Executable Interface Specification for Industrial Embedded System DesignHuang, Jinfeng / Voeten, Jeroen / Wolfs, Serge / Coopmans, Mark et al. | 2008
- 45
-
Model Transformation Specification and VerificationLano, Kevin / Clark, David et al. | 2008
- 57
-
Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of ExperimentsOh, Hyejin / Choi, Byoungju / Han, Hyuksoo / Wong, W. Eric et al. | 2008
- 67
-
Bridging the Concept to Implementation Gap in Software System TestingSneed, Harry M. et al. | 2008
- 77
-
MUSIC: Mutation-based SQL Injection Vulnerability CheckingShahriar, Hossain / Zulkernine, Mohammad et al. | 2008
- 87
-
An Approach for Generation of J2EE Access Control Configurations from Requirements SpecificationSun, Lianshan / Huang, Gang / Sun, Yanchun / Song, Hui / Mei, Hong et al. | 2008
- 97
-
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper)Hanna, Aiman / Ling, Hai Zhou / Furlong, Jason / Yang, Zhenrong / Debbabi, Mourad et al. | 2008
- 105
-
Integrating Top-Down and Scenario-Based Methods for Constructing Software SpecificationsLiu, Shaoying et al. | 2008
- 114
-
Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper)Du, Xutao / Xing, Chunxiao / Zhou, Lizhu et al. | 2008
- 120
-
SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper)Xu, Liang et al. | 2008
- 126
-
Verifying Business Process Compatibility (Short Paper)Wong, Peter Y. H. / Gibbons, Jeremy et al. | 2008
- 135
-
Using Machine Learning to Refine Black-Box Test Specifications and Test SuitesBriand, Lionel C. / Labiche, Yvan / Bawar, Zaheer et al. | 2008
- 145
-
Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing?Chen, Tsong Yueh / Kuo, Fei-Ching / Liu, Huai / Wong, W. Eric et al. | 2008
- 155
-
Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test SuiteWang, Ziyuan / Xu, Baowen / Nie, Changhai et al. | 2008
- 163
-
An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper)Cain, A. / Chen, T. Y. / Grant, D. D. / Kuo, F.-C. / Schneider, J.-G. et al. | 2008
- 169
-
An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper)Meng, Na / Wang, Qianxiang / Wu, Qian / Mei, Hong et al. | 2008
- 175
-
Performance Analysis of a Composition of Middleware Patterns (Short Paper)Vandal, Paul J. / Gokhale, Swapna S. et al. | 2008
- 181
-
Abstracting Execution Logs to Execution Events for Enterprise Applications (Short Paper)Jiang, Zhen Ming / Hassan, Ahmed E. / Flora, Parminder / Hamann, Gilbert et al. | 2008
- 189
-
Reachability and Propagation for LTL Requirements TestingFraser, Gordon / Ammann, Paul et al. | 2008
- 199
-
Coverage Based Testing with Test PurposesFraser, Gordon / Weiglhofer, Martin / Wotawa, Franz et al. | 2008
- 209
-
A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper)En-Nouaary, Abdeslam / Hamou-Lhadj, Abdelwahab et al. | 2008
- 216
-
Utilizing Formalization to Test Programs without Available Source Code (Short Paper)Liu, Shaoying et al. | 2008
- 225
-
Developing Application Specific Ontology for Program Comprehension by Combining Domain Ontology with Code OntologyZhou, Hong / Chen, Feng / Yang, Hongji et al. | 2008
- 235
-
Model-Based Quality Assurance of the SMB2 Protocol DocumentationGrieskamp, Wolfgang / Kicillof, Nicolas / MacDonald, Dave / Nandan, Alok / Stobie, Keith / Wurden, Fred / Zhang, Danpo et al. | 2008
- 241
-
On the Relationship between Software Aging and Related Parameters (Short Paper)Jia, Yun-Fei / Chen, Xiu-E / Zhao, Lei / Cai, Kai-Yuan et al. | 2008
- 247
-
Web Application Development Lifecycle for Small Medium-Sized Enterprises (SMEs) (Short Paper)Huang, Wei / Li, Ru / Maple, Carsten / Yang, Hongji / Foskett, David / Cleaver, Vince et al. | 2008
- 255
-
Looking for More Confidence in Refactoring? How to Assess Adequacy of Your Refactoring TestsDinh-Trong, Trung / Geppert, Birgit / Li, J. Jenny / Roessler, Frank et al. | 2008
- 264
-
On Partitioning the Domain for Test Case Reusability (Short Paper)Dong, Yunwei / Lau, M. F. / Lin, Si-yu et al. | 2008
- 270
-
An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper)Zhang, Xiaofang / Xu, Baowen / Chen, Zhenyu / Nie, Changhai / Li, Leifang et al. | 2008
- 276
-
Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper)Jääskeläinen, Antti / Kervinen, Antti / Katara, Mika et al. | 2008
- 285
-
Steering the inspection process with prescriptive metrics and process patternsHarjumaa, Lasse / Tervonen, Ilkka / Salmela, Sirpa et al. | 2008
- 294
-
Towards an Assessment Method for Software Reuse Capability (Short Paper)Garcia, Vinicius Cardoso / Lisboa, Liana Barachisio / Almeida, Eduardo Santana de / Meira, Silvio Romero de Lemos / Almeida, Eduardo Santa de / Lucrédio, Daniel / Fortes, Renata Pontin de Mattos et al. | 2008
- 300
-
How to Measure Quality of Software Developed by Subcontractors (Short Paper)Iwami, Yoshihiro et al. | 2008
- 305
-
Towards a Method for Evaluating the Precision of Software Measures (Short Paper)Marín, Beatriz / Condori-Fernández, Nelly / Pastor, Oscar et al. | 2008
- 313
-
History Heuristic Based Negotiation of Service Level Agreements for Composite ServiceYe, Shiyang / Wei, Jun et al. | 2008
- 321
-
Web Service Test Case Generation Based on Decision Table (Short Paper)Noikajana, Siripol / Suwannasart, Taratip et al. | 2008
- 329
-
A Method for Measuring the Size of a Component-Based System SpecificationWijayasiriwardhane, Thareendhra / Lai, Richard et al. | 2008
- 338
-
Importance Measures for a Modular Software System (Short Paper)Fiondella, Lance / Gokhale, Swapna S. et al. | 2008
- 347
-
Architecture Compliance Checking at Runtime: An Industry Experience ReportGanesan, Dharmalingam / Keuler, Thorsten / Nishimura, Yutaro et al. | 2008
- 357
-
Selecting a High-Quality Central Model for Sharing Architectural KnowledgeLiang, Peng / Jansen, Anton / Avgeriou, Paris et al. | 2008
- 366
-
Visual Software Architecture Description Based on Design SpaceZhang, Qian et al. | 2008
- 376
-
Mapping Software Architecture Specification to Rewriting Logic (Short Paper)Fu, Yujian / Dong, Zhijiang / Ding, Junhua / He, Xudong et al. | 2008
- 385
-
Fault Localization with Non-parametric Program Behavior ModelHu, Peifeng / Zhang, Zhenyu / Chan, W. K. / Tse, T. H. et al. | 2008
- 396
-
Linux Bugs: Life Cycle and Resolution AnalysisAhmed, Mohamed F. / Gokhale, Swapna et al. | 2008
- 402
-
On Failure Propagation in Component-Based Software SystemsMohamed, Atef / Zulkernine, Mohammad et al. | 2008
- 412
-
Path and Context Sensitive Inter-procedural Memory Leak DetectionXu, Zhongxing / Zhang, Jian et al. | 2008
- 423
-
An Agent-Based Middleware for Adaptive SystemsQureshi, Nauman A. / Perini, Anna et al. | 2008
- 429
-
Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using GalileoDehlinger, Josh / Dugan, Joanne Bechta et al. | 2008
- 435
-
A UML Heavyweight Extension for MAS ModelingAl-Kady, Manar / Bahgat, Reem / Fahmy, Aly et al. | 2008
- 443
-
Adaptive Random TestingChen, T. Y. et al. | 2008
- 444
-
Architecture-Based Assessment of Software ReliabilityGokhale, Swapna S. / Mendiratta, Veena B. et al. | 2008
- 445
-
Author index| 2008
- 448
-
Roster Page| 2008
- C1
-
Cover Art| 2008
- i
-
Title Page i| 2008
- iii
-
Title Page iii| 2008
- iv
-
Title Page iv - Copyright Page| 2008
- v
-
Table of Contents| 2008
- x
-
Message from the General Chair| 2008
- xi
-
Message from the Program Chair| 2008
- xii
-
Conference Organization| 2008