Editors:
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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (18 papers)
-
Front Matter
-
Back Matter
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
Book Title: Testing Software and Systems
Book Subtitle: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
Editors: Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-16573-3
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2010
Softcover ISBN: 978-3-642-16572-6Published: 08 October 2010
eBook ISBN: 978-3-642-16573-3Published: 25 October 2010
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 267
Number of Illustrations: 76 b/w illustrations
Topics: Software Engineering, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Programming Techniques