|
Bibliografía básica
|
Maurício Aniche (2022). Effective software testing. Manning
Charity Majors, Liz Fong-Jones, George Miranda (2022). Observability Engineering. O'Reilly Media, Inc.
Brian Okken (2022). Python testing with pytest. The Pragmetic Programmers
Gayathri Mohan (2022). Full Stack Testing. O'Reilly Media, Inc.
Fred Hébert (2019). Property-based testing with PropEr, Erlang, and Elixir : find bugs before your users do. The Pragmatic Bookshelf
Mordechai Ben-Ari (2012). Mathematical Logic for Computer Science. Springer
Crispin Lisa, Gregory Janet (2008). Agile Testing: A Practical Guide for Testers and Agile Teams. Addison-Wesley
Gerard J. Holzmann (2003). The SPIN model checker: primer and reference manual. Addison-Wesley
Kent Beck (2002). Test Driven Development (By Example). Addison-Wesley
Mordechai Ben-Ari (2001). Mathematical Logic for Computer Science. Springer
Zohar Manna and Amir Pnueli (1995). The Temporal Logic of Reactive and Concurrent Systems. Safety. Springer
Zohar Manna and Amir Pnueli (1991). The Temporal Logic of Reactive and Concurrent Systems. Specification. Springer
|