|
Bibliografía básica
|
Hébert, Fred (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
Peter Farrell-Vinay (2008). Manage software testing. Auerbach
Gerard J. Holzmann (2003). The SPIN model checker: primer and reference manual. Addison-Wesley
Kent Beck (2002). Test Driven Development (By Example). Addison-Wesley
Ron Patton (2001). Software testing. Sams
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
|