Sökt på: engine tests
totalt 26 träffar
Testing Software and Systems
This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019. …
Hardware and Software: Verification and Testing
This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers …
Tests and Proofs
This book constitutes the proceedings of the 15th International Conference on Tests and Proofs, TAP 2021, which was held as part of Software Technologies: Applications and …
Tests and Proofs
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 …
Tests and Proofs
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the …
Formal Approaches to Software Testing and Runtime Verification
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and …
Hardware and Software: Verification and Testing
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers …
Hardware and Software: Verification and Testing
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. …
ModelEd, TestEd, TrustEd
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's …
Testing Software and Systems
Testing has steadily become more and more important within the development of software and systems, motivating an increasing amount of research aimed at …