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
https://www.leirios.com - Company founded to commercialize model-based testing
https://www.cs.waikato.ac.nz/~marku/mbt - Companion websiteChapter 1
https://www.swebok.org - IEEE Software Engineering Body of Knowledge
https://www.junit.org - Java unit testing toolChapter 2
https://www.stickyminds.com/se/S8299.asp - Bumper Stickers for Testers
https://www.fitnesse.org - Keyword driven test tool based on FIT
https://www.mercury.com - Mercury Interactive Corp. (redirects to HP BTO Software page as of 2008.03.01)
https://www.sei.cmm.edu - Software Engineering Institute at Carnegie Mellon
https://www.sei.cmu.edu/cmmi/results.html - CMMI performance results and links
https://www.sogeti.nl/tpi - Test Process Improvement model
https://research.microsoft.com/fse - Microsoft Research Foundations of Software Engineering Group (Spec Explorer)
https://csrc.nist.gov/npivp - NIST Personal Identity Verification Program
https://www.agedis.de - AGEDIS: European Commission research project on automated software testing
https://www.mercury.com/us/products - (redirects to HP BTO Software Products page as of 2008.03.01)Chapter 3
https://www.veglobal.com - Maker of coffee makers
https://www.sdl-forum.org - System Description Language Forum Society
https://www.mathworks.com - MathWorks website (Simulink, MATLAB)
https://www.ilogix.com - I-Logix website (STATEMATE) (redirects to Telelogic as of 2008.03.01)
https://www.stups.uni-duesseldorf.de/ProB - Model Checker and Animation tool
https://www.unitesk.com - UniTesk website (CTesK MBT tool, SeC language)
https://www.quantum-leaps.com/writings/book.htm - (dead link - should be https://www.quantum-leaps.com/psicc/ )
https://vl.zuser.org - Z notation website
https://www.jmlspecs.org - Java Modeling Language websiteChapter 4
https://www.bankrate.com/brm/news/auto/20050119a1.asp - Top 10 car colors for 2005
https://www.telelogic.com - Telelogic website (DOORS requirements management tool)
https://www.borland.com - Borland website (Caliber-RM requirements management system)
https://www.steeltrace.com - SteelTrace website (redirects to Compuware Optimal Trace as of 2008.03.01)
https://www.pairwise.org - Pairwise Testing websiteChapter 5
https://www.uclic.ucl.ac.uk/harold/cpp - Chinese Postman problem
https://www.geocities.com/harry_robinson_testing/stareast2005.htm - Harry Robinson 2005 STAR East tutorial
https://czt.sourceforge.net - Community Z Tools project(to be continued)