Title: Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers, Author: Robert M. Hierons
Title: The Testability of Distributed Real-Time Systems, Author: Werner Schütz
Title: Full Stack Testing: A Practical Guide for Delivering High Quality Software, Author: Gayathri Mohan
Title: Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, Author: Stuart Anderson
Title: Software Quality Assurance: Integrating Testing, Security, and Audit, Author: Abu Sayed Mahfuz
Title: Contract Testing in Action: With Pact, PactFlow, and GitHub Actions, Author: Marie Cruz
Title: Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors, Author: Debra S. Herrmann
Title: Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, Author: Shmuel Ur
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
Title: Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings, Author: Barbara Paech
Title: Software Change Impact Analysis, Author: Robert Arnold
Title: Safe Comp 97: The 16th International Conference on Computer Safety, Reliability and Security, Author: Peter Daniel
Title: Rigorous Development of Complex Fault-Tolerant Systems, Author: Michael Butler
Title: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Erika Abraham
Title: Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, Author: Nachum Dershowitz
Title: Strategic Software Quality Management: How to Incorporate Sustainable Continuous Improvement Practices, Author: Mahsa Fidanboy
Title: Hardening Linux, Author: James Turnbull
Title: Product-Focused Software Process Improvement: 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings, Author: Jürgen Münch
Title: Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers, Author: Doron A. Peled
Title: Advanced Techniques for Embedded Systems Design and Test, Author: Juan C. López

Pagination Links