Skip to main content
SpringerLink
Log in

Testing Software and Systems

22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Alexandre Petrenko

    1. Centre de Recherche Informatique de Montréal (CRIM), Montréal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Adenilso Simão

    1. Institute of Mathematics and Computer Sciences, University of São Paulo, São Carlos, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. José Carlos Maldonado

    1. Institute of Mathematics and Computer Sciences, University of São Paulo,, São Carlos, Brazil

    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 6435)

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

Included in the following conference series:

Conference proceedings info: ICTSS 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 (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Test Automation with TTCN-3 - State of the Art and a Future Perspective

    • Ina Schieferdecker
    Pages 1-14

  3. A Model-Based Approach to Testing Software for Critical Behavior and Properties

    • Constance Heitmeyer
    Pages 15-15

  4. A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem

    • Rafael da Veiga Cabral, Aurora Pozo, Silvia Regina Vergilio
    Pages 16-29

  5. More Testable Properties

    • Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
    Pages 30-46

  6. Alternating Simulation and IOCO

    • Margus Veanes, Nikolaj Bjørner
    Pages 47-62

  7. Reducing the Cost of Model-Based Testing through Test Case Diversity

    • Hadi Hemmati, Andrea Arcuri, Lionel Briand
    Pages 63-78

  8. Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems

    • Éric Piel, Alberto Gonzalez-Sanchez, Hans-Gerhard Gross
    Pages 79-94

  9. Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing

    • Andrea Arcuri, Muhammad Zohaib Iqbal, Lionel Briand
    Pages 95-110

  10. Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage

    • Beatriz Pérez Lamancha, Macario Polo Usaola
    Pages 111-125

  11. Increasing Functional Coverage by Inductive Testing: A Case Study

    • Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier Paris
    Pages 126-141

  12. FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution

    • Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux
    Pages 142-157

  13. Test Data Generation for Programs with Quantified First-Order Logic Specifications

    • Christoph D. Gladisch
    Pages 158-173

  14. Efficient Distributed Test Architectures for Large-Scale Systems

    • Eduardo Cunha de Almeida, Jõao Eugenio Marynowski, Gerson Sunyé, Yves Le Traon, Patrick Valduriez
    Pages 174-187

  15. Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction

    • Fides Aarts, Bengt Jonsson, Johan Uijen
    Pages 188-204

  16. Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks

    • Hiroyuki Shinbo, Atsushi Tagami, Shigehiro Ano, Toru Hasegawa, Kenji Suzuki
    Pages 205-220

  17. A Learning-Based Approach to Unit Testing of Numerical Software

    • Karl Meinke, Fei Niu
    Pages 221-235

  18. From Scenarios to Test Implementations Via Promela

    • Andreas Ulrich, El-Hachemi Alikacem, Hesham H. Hallal, Sergiy Boroday
    Pages 236-249

  19. Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases

    • Romain Delamare, Freddy Munoz, Benoit Baudry, Yves Le Traon
    Pages 250-265

  20. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Testing Software and Systems

Keywords

Editors and Affiliations

  • Centre de Recherche Informatique de Montréal (CRIM), Montréal, Canada

    Alexandre Petrenko

  • Institute of Mathematics and Computer Sciences, University of São Paulo, São Carlos, Brazil

    Adenilso Simão

  • Institute of Mathematics and Computer Sciences, University of São Paulo,, São Carlos, Brazil

    José Carlos Maldonado

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation