Testing Software and Systems Image close
Testing Software and Systems
Testing Software and Systems
Show Hide Adult Content
Testing Software and Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Software Engineering  
Software testing & verification

Testing Software and Systems

33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$238.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $59.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Verification, Model Checking, and Abstract Interpretation
$204.99
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation Save $49
$135.99
$185.95
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Checking Software
$173.99
Model Checking Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation
$142.99
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Testing Save $30
$138.99
$169.95
Formal Methods and Testing
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation Save $31
$135.99
$167.95
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification and Evaluation of Computer and Communication Systems
$135.99
Verification and Evaluation of Computer and Communication Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Tests and Proofs
$135.99
Tests and Proofs
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Checking Software Save $16
$135.99
$152.95
Model Checking Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis Save $13
$135.99
$149.95
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
$135.99
Reliability, Safety, and Security of Railway Systems. Modelling,...
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
$170.99
Software Verification and Formal Methods for ML-Enabled Autonomous...
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation Save $13
$141.99
$155.95
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification Save $39
$147.99
$187.95
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$181.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Advances in Cryptology – EUROCRYPT 2024
$307.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 10 Jun 2024

Description

This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic. The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports.  The papers are divided into the following topical subheadings: Finite State Machine-based Testing; Test Generation and Selection; AI-based Techniques; Use Cases; Project Reports.
Release date Australia
May 10th, 2022
Contributors
  • Edited by Ana Rosa Cavalli
  • Edited by David Clark
  • Edited by Hector Menendez
Pages
240
Edition
1st ed. 2022
Audience
  • Professional & Vocational
Illustrations
35 Illustrations, color; 24 Illustrations, black and white; XI, 240 p. 59 illus., 35 illus. in color.
ISBN-13
9783031046728
Product ID
35796483

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Software Engineering >
Software testing & verification