Skip to main content
  • Conference proceedings
  • © 2010

Testing Software and Systems

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

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

Conference series link(s): ICTSS: IFIP International Conference on Testing Software and Systems

Conference proceedings info: ICTSS 2010.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (18 papers)

  1. Front Matter

  2. 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
  3. More Testable Properties

    • Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
    Pages 30-46
  4. Alternating Simulation and IOCO

    • Margus Veanes, Nikolaj Bjørner
    Pages 47-62
  5. Reducing the Cost of Model-Based Testing through Test Case Diversity

    • Hadi Hemmati, Andrea Arcuri, Lionel Briand
    Pages 63-78
  6. Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems

    • Éric Piel, Alberto Gonzalez-Sanchez, Hans-Gerhard Gross
    Pages 79-94
  7. 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
  8. Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage

    • Beatriz Pérez Lamancha, Macario Polo Usaola
    Pages 111-125
  9. Increasing Functional Coverage by Inductive Testing: A Case Study

    • Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier Paris
    Pages 126-141
  10. FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution

    • Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux
    Pages 142-157
  11. 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
  12. 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
  13. From Scenarios to Test Implementations Via Promela

    • Andreas Ulrich, El-Hachemi Alikacem, Hesham H. Hallal, Sergiy Boroday
    Pages 236-249
  14. Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases

    • Romain Delamare, Freddy Munoz, Benoit Baudry, Yves Le Traon
    Pages 250-265
  15. Back Matter

Other Volumes

  1. Testing Software and Systems

Keywords

  • Simulation
  • UML
  • application specific testing
  • automatic testing
  • business information systems
  • control systems
  • embedded systems
  • model checking
  • model-based testing
  • process algebra
  • requirements engineering
  • run-time verification
  • software verification
  • testing
  • wireless applications

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions