Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Testing: Academic and Industrial Conference - Practice and Research Techniques

5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Leonardo Bottaci

    1. Department of Computer Science, University of Hull, Hull, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gordon Fraser

    1. Department of Computer Science, Saarland University, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6303)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: TAIC PART 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Download chapter PDF

  3. Full Papers

    1. Masking Boundary Value Coverage: Effectiveness and Efficiency

      • P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh
      Pages 8-22

    2. Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang

      • Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund
      Pages 23-38

    3. Bad Pairs in Software Testing

      • Daniel Hoffman, Chien Chang, Gary Bazdell, Brett Stevens, Kevin Yoo
      Pages 39-55

    4. Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs

      • Frank Eichinger, Victor Pankratius, Philipp W. L. Große, Klemens Böhm
      Pages 56-71

    5. Filtering Test Models to Support Incremental Testing

      • Antti Jääskeläinen
      Pages 72-87

    6. Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?

      • Mihai Nica, Simona Nica, Franz Wotawa
      Pages 88-103

    7. Linguistic Security Testing for Text Communication Protocols

      • Ben W. Y. Kam, Thomas R. Dean
      Pages 104-117

  4. Tool Papers

    1. An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation

      • Christian Wiederseiner, Shahnewaz A. Jolly, Vahid Garousi, Matt M. Eskandar
      Pages 118-128

    2. TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization

      • Negar Koochakzadeh, Vahid Garousi
      Pages 129-136

    3. A Fault Injection Tool for Testing Web Services Composition

      • Fayçal Bessayah, Ana Cavalli, Willian Maja, Eliane Martins, Andre Willik Valenti
      Pages 137-146

    4. Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models

      • Marko Kääramees, Jüri Vain, Kullo Raiend
      Pages 147-154

    5. A Generic Approach to Run Mutation Analysis

      • Siamak Haschemi, Stephan Weißleder
      Pages 155-164

  6. Experience Reports

    1. Mining API Popularity

      • Yana Momchilova Mileva, Valentin Dallmeier, Andreas Zeller
      Pages 173-180

    2. Automatic Discovery of Unspecified Behaviors in Automotive Control Software

      • Muzammil Shahbaz, Robert Eschbach
      Pages 181-188

  7. Fast Abstracts

    1. An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information

      • Vahid Garousi, Negar Koochakzadeh
      Pages 189-193
Back to top

Other volumes

  1. Testing – Practice and Research Techniques

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computer Science, University of Hull, Hull, UK

    Leonardo Bottaci

  • Department of Computer Science, Saarland University, Saarbrücken, Germany

    Gordon Fraser

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation