Ebook: Testing – Practice and Research Techniques: 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings

A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its purpose is to bring together industrialists and academics in an environment that promotes fundamental collaborationon pr- lems in software testing. Among the wide range of topics in computer science andsoftwareengineering,softwaretesting is anidealcandidatefor academicand industrialcollaborationbecauseadvancesinresearchcanhavesuchwide-ranging and far-reaching implications for industry. Conversely, the advances in comp- ing and communications technology and the growth of the associated software engineering activity are producing new researchchallengesat an increasing rate. The problems that arise in software testing are related to the problems that ariseinmanyotherareasofcomputing.Assuch,testingresearchcombinesawide range of elements encompassing the theoretical work of program analysis and formal methods and the associated representations such as ?nite-state machines and dependence graphs. The inherent complexity of software testing has led to the involvement of heuristic methods. Software testing is also a human activity and has thus seen the involvement of psychology,sociologyand even philosophy. This astonishing breadth and depth have made the problems of software testing appealing to academics for several decades.

---

This book constitutes the refereed proceedings of the 5th International Conference: Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2010, held in Windsor, UK, in September 2010. The 15 revised full papers presented together with 7 abstracts and 3 keynote addresses were carefully selected from 40 submissions. The papers cover a wide range of topics related to fundamental research questions in the field of software testing and analysis focusing on the practical challenges that are often faced by software developers in industry.

---

This book constitutes the refereed proceedings of the 5th International Conference: Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2010, held in Windsor, UK, in September 2010. The 15 revised full papers presented together with 7 abstracts and 3 keynote addresses were carefully selected from 40 submissions. The papers cover a wide range of topics related to fundamental research questions in the field of software testing and analysis focusing on the practical challenges that are often faced by software developers in industry.
Content:
Front Matter....Pages -
Automatic Testing and Fixing for Eiffel....Pages 1-4
Testing and Proving, Hand-in-Hand....Pages 5-6
Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing....Pages 7-7
Masking Boundary Value Coverage: Effectiveness and Efficiency....Pages 8-22
Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang....Pages 23-38
Bad Pairs in Software Testing....Pages 39-55
Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs....Pages 56-71
Filtering Test Models to Support Incremental Testing....Pages 72-87
Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?....Pages 88-103
Linguistic Security Testing for Text Communication Protocols....Pages 104-117
An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation....Pages 118-128
TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization....Pages 129-136
A Fault Injection Tool for Testing Web Services Composition....Pages 137-146
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models....Pages 147-154
A Generic Approach to Run Mutation Analysis....Pages 155-164
The Practical Assessment of Test Sets with Inductive Inference Techniques....Pages 165-172
Mining API Popularity....Pages 173-180
Automatic Discovery of Unspecified Behaviors in Automotive Control Software....Pages 181-188
An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information....Pages 189-193
A Multi-criteria Decision Making Framework for Real Time Model-Based Testing ....Pages 194-197
Improved Testing through Refactoring: Experience from the ProTest Project....Pages 198-202
Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements....Pages 203-206
A New Approach for Software Testability....Pages 207-210
DOM Transactions for Testing JavaScript....Pages 211-214
The GZoltar Project: A Graphical Debugger Interface....Pages 215-218
Back Matter....Pages -

---

This book constitutes the refereed proceedings of the 5th International Conference: Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2010, held in Windsor, UK, in September 2010. The 15 revised full papers presented together with 7 abstracts and 3 keynote addresses were carefully selected from 40 submissions. The papers cover a wide range of topics related to fundamental research questions in the field of software testing and analysis focusing on the practical challenges that are often faced by software developers in industry.
Content:
Front Matter....Pages -
Automatic Testing and Fixing for Eiffel....Pages 1-4
Testing and Proving, Hand-in-Hand....Pages 5-6
Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing....Pages 7-7
Masking Boundary Value Coverage: Effectiveness and Efficiency....Pages 8-22
Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang....Pages 23-38
Bad Pairs in Software Testing....Pages 39-55
Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs....Pages 56-71
Filtering Test Models to Support Incremental Testing....Pages 72-87
Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?....Pages 88-103
Linguistic Security Testing for Text Communication Protocols....Pages 104-117
An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation....Pages 118-128
TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization....Pages 129-136
A Fault Injection Tool for Testing Web Services Composition....Pages 137-146
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models....Pages 147-154
A Generic Approach to Run Mutation Analysis....Pages 155-164
The Practical Assessment of Test Sets with Inductive Inference Techniques....Pages 165-172
Mining API Popularity....Pages 173-180
Automatic Discovery of Unspecified Behaviors in Automotive Control Software....Pages 181-188
An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information....Pages 189-193
A Multi-criteria Decision Making Framework for Real Time Model-Based Testing ....Pages 194-197
Improved Testing through Refactoring: Experience from the ProTest Project....Pages 198-202
Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements....Pages 203-206
A New Approach for Software Testability....Pages 207-210
DOM Transactions for Testing JavaScript....Pages 211-214
The GZoltar Project: A Graphical Debugger Interface....Pages 215-218
Back Matter....Pages -
....