Testing Software and Systems

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

  • Alexandre Petrenko
  • Adenilso Simão
  • José Carlos Maldonado
Conference proceedings ICTSS 2010

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

Table of contents

  1. Front Matter
  2. Rafael da Veiga Cabral, Aurora Pozo, Silvia Regina Vergilio
    Pages 16-29
  3. Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
    Pages 30-46
  4. Margus Veanes, Nikolaj Bjørner
    Pages 47-62
  5. Hadi Hemmati, Andrea Arcuri, Lionel Briand
    Pages 63-78
  6. Éric Piel, Alberto Gonzalez-Sanchez, Hans-Gerhard Gross
    Pages 79-94
  7. Andrea Arcuri, Muhammad Zohaib Iqbal, Lionel Briand
    Pages 95-110
  8. Beatriz Pérez Lamancha, Macario Polo Usaola
    Pages 111-125
  9. Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier Paris
    Pages 126-141
  10. Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux
    Pages 142-157
  11. Eduardo Cunha de Almeida, Jõao Eugenio Marynowski, Gerson Sunyé, Yves Le Traon, Patrick Valduriez
    Pages 174-187
  12. Hiroyuki Shinbo, Atsushi Tagami, Shigehiro Ano, Toru Hasegawa, Kenji Suzuki
    Pages 205-220
  13. Andreas Ulrich, El-Hachemi Alikacem, Hesham H. Hallal, Sergiy Boroday
    Pages 236-249
  14. Romain Delamare, Freddy Munoz, Benoit Baudry, Yves Le Traon
    Pages 250-265
  15. Back Matter

About these proceedings


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

  • Alexandre Petrenko
    • 1
  • Adenilso Simão
    • 2
  • José Carlos Maldonado
    • 3
  1. 1.Centre de Recherche Informatique de Montréal (CRIM)MontréalCanada
  2. 2.Institute of Mathematics and Computer SciencesUniversity of São PauloSão CarlosBrazil
  3. 3.Institute of Mathematics and Computer SciencesUniversity of São Paulo,São CarlosBrazil

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-16573-3
  • Copyright Information IFIP International Federation for Information Processing 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16572-6
  • Online ISBN 978-3-642-16573-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book