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

Access provided by Autonomous University of Puebla

Download book PDF

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.

Buy print copy

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

Keywords

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
    Download chapter PDF

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

    • Constance Heitmeyer
    Pages 15-15
    Download chapter PDF

  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
    Download chapter PDF

  5. More Testable Properties

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

  6. Alternating Simulation and IOCO

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

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

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

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

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

  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
    Download chapter PDF

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

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

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

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

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

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

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

    • Christoph D. Gladisch
    Pages 158-173
    Download chapter PDF

  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
    Download chapter PDF

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

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

  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
    Download chapter PDF

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

    • Karl Meinke, Fei Niu
    Pages 221-235
    Download chapter PDF

  18. From Scenarios to Test Implementations Via Promela

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

  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
    Download chapter PDF

  20. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Testing Software and Systems

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