Articles/papers:

People Should Think and Machines Should Test (Better Software magazine, January 2016)

• Sample C# code to accompany article
  

Intelligent Test Automation

Exploratory Test Automation (Chapter 28 in Experiences of Test Automation)

Obstacles and Opportunities in Industrial Model-Based Testing

Graph Theory Techniques in Model-Based Testing

Finite State Model-Based Testing on a Shoestring

Using Poka-Yoke Techniques for Early Defect Detection

Applying Models in Your Testing Process

New Approaches to Creating and Testing Internationalized Software

Model-Based Testing Using an Implicit State Model

Using Pre-Oracled Data In Model-Based Testing

High-Volume Automated Testing for Software Components (Seattle QASIG 2013)

Computer-Assisted Software Testing in Bing (WTST 2013)

Exploratory Test Automation (CAST 2010)