What's New in Model-Based Testing

Home

05/23/04:

• added 48 recent papers on model-based testing of all sorts.

10/23/02:

• added 6 papers on FSMs, ASMs, Cause-Effect modeling, and even a monkey defense:
  • Model-Based Test Generation Tools
  • Extended Model-Based Testing toward High Code Coverage Rate
  • Generating Finite State Machines from Abstract State Machines
  • In Defense of Monkey Testing
  • Model-Based Software Testing Delivers Results
  • Model-based testing helps Sun Microsystems remove software defects

09/04/2002:

• added 7 papers on (mostly) finite state models
  • Model-based Software Testing
  • Markov Chain-based Test Data Adequacy Criteria: a Complete Family
  • Automated Construction of Software Behavior Models
  • Experiences in Testing Pocket PC Applications
  • Enjoying the Perks of Model-Based Testing
  • Mars Polar Lander Fault Identification Using Model-based Testing
  • Using a model-based test generator to test for standard conformance

• added 2 papers on model-based security testing, and
  • A Functional Method for Assessing Protocol Implementation Security
  • Model-based Approach to Security Test Automation

• restored the 7 "missing" Teradyne papers
  • Model Based Testing
  • Use Cases Are Not Requirements
  • Automated Test Generation for Computer Telephony Systems
  • Model Driven Testing
  • Automatic Test Generation from a Behavioral Model
  • Reducing the Time to Thoroughly Test a GUI
  • Applying Use-Case Methodology to SRE and System Testing