URLs in Testing Books I’ve Read


This page contains URLs in books I've read.  I'm doing this because when I read the books I'm not often near the computer and even if I am I'd have to type it in each time.  Links are listed by chapter.  Duplicate links in later chapters are omitted.


Practical Model-Based Testing: A Tools Approach, Utting & Bruno Legeard



Preface
http://www.leirios.com - Company founded to commercialize model-based testing
http://www.cs.waikato.ac.nz/~marku/mbt - Companion website


Chapter 1
http://www.swebok.org - IEEE Software Engineering Body of Knowledge
http://www.junit.org - Java unit testing tool


Chapter 2
http://www.stickyminds.com/se/S8299.asp - Bumper Stickers for Testers
http://www.fitnesse.org - Keyword driven test tool based on FIT
http://www.mercury.com - Mercury Interactive Corp. (redirects to HP BTO Software page as of 2008.03.01)
http://www.sei.cmm.edu - Software Engineering Institute at Carnegie Mellon
http://www.sei.cmu.edu/cmmi/results.html - CMMI performance results and links
http://www.sogeti.nl/tpi - Test Process Improvement model
http://research.microsoft.com/fse - Microsoft Research Foundations of Software Engineering Group (Spec Explorer)
http://csrc.nist.gov/npivp - NIST Personal Identity Verification Program
http://www.agedis.de - AGEDIS: European Commission research project on automated software testing
http://www.mercury.com/us/products -  (redirects to HP BTO Software Products page as of 2008.03.01)


Chapter 3
http://www.veglobal.com - Maker of coffee makers
http://www.sdl-forum.org - System Description Language Forum Society
http://www.mathworks.com - MathWorks website (Simulink, MATLAB)
http://www.ilogix.com - I-Logix website (STATEMATE) (redirects to Telelogic as of 2008.03.01)
http://www.stups.uni-duesseldorf.de/ProB - Model Checker and Animation tool
http://www.unitesk.com - UniTesk website (CTesK MBT tool, SeC language)
http://www.quantum-leaps.com/writings/book.htm - (dead link - should be http://www.quantum-leaps.com/psicc/)
http://vl.zuser.org - Z notation website
http://www.jmlspecs.org - Java Modeling Language website


Chapter 4
http://www.bankrate.com/brm/news/auto/20050119a1.asp - Top 10 car colors for 2005
http://www.telelogic.com - Telelogic website (DOORS requirements management tool)
http://www.borland.com - Borland website (Caliber-RM requirements management system)
http://www.steeltrace.com - SteelTrace website (redirects to Compuware Optimal Trace as of 2008.03.01)
http://www.pairwise.org - Pairwise Testing website


Chapter 5
http://www.uclic.ucl.ac.uk/harold/cpp - Chinese Postman problem
http://www.geocities.com/harry_robinson_testing/stareast2005.htm - Harry Robinson 2005 STAR East tutorial
http://czt.sourceforge.net - Community Z Tools project


(to be continued)

Skip to main content