Home
[Aharon, Goodman, Levinger, Lichtenstein, Malka, Metzger, Molcho, SHurek]
Test Program Generation for Functional Verification of PowerPC processors in IBM [Al-Ghafees, Whittaker]
Markov Chain-based Test Data Adequacy Criteria: a Complete Family [Andrews, Offutt, Alexander]
Testing Web Applications by Modeling with FSMs new [Apfelbaum, Doyle]
Model Based Testing [Apfelbaum, Schroeder]
Reducing the Time to Thoroughly Test a GUI [Ball, Hoffman, Ruskey, Webber, White]
State Generation and Automated Class Testing new [Barnett, Grieskamp, Gurevich, Schulte, Tillmann, Veanes]
Scenario-oriented Modeling in AsmL and its Instrumentation for Testing new [Barnett, Grieskamp, Nachmanson, Schulte, Tillmann, Veanes]
Model-Based Testing with AsmL.NET new [Barnett, Grieskamp, Nachmanson, Schulte, Tillmann, Veanes]
Towards a Tool Environment for Model-Based Testing with AsmL new [Becker]
Model-based testing helps Sun Microsystems remove software defects [Berger, Abuelbassal, Hossain]
Model Driven Testing [Bertolino, Marchetti, Muccini]
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing new [Bertolino, Polini, Inverardi, Muccini]
Towards Anti-Model-Based Testing new [Bird, Munoz]
Automatic Generation of Random Self-checking Test Cases new [Bjorklid]
Unit Testing with Monkeys new [Blackburn, Busser, Nauman]
Why Model-Based Testing is Different and What You Should Know to Get Started new [Blackburn, Busser, Nauman]
Interface-Driven Model-Based Test Automation new [Blackburn, Busser, Nauman, Chandramouli]
Interface-Driven Model-based Generation of Java Test Drivers new [Blackburn, Busser, Nauman]
Model-Based Testing Tools - Necessary for Complex Systems new [Blackburn, Busser, Nauman]
Understanding the Generations of Test Automation new [Blackburn, Busser, Nauman, Chandramouli] Model-based
Approach to Security Test Automation [Blackburn, Knickerbocker, Busser, Kasuda, Nauman]
Mars Polar Lander Fault Identification Using Model-based Testing [Blackburn, Nauman, Busser, Stensvad]
Defect Identification with Model-Based Test Automation new [Buwalda]
Action Figures new [Chandramouli, Blackburn]
Automated Testing of Security Functions using a combined Model & Interface-driven Approach new [Chandramouli, Blackburn]
Security Functional Testing Using An Interface-Driven Model-Based Test Automation Approach new [Clarke]
Automatic Test Generation from a Behavioral Model [Conrad, Door, Fey, Yap]
Model-based Generation and Structured Representation of Test Scenarios new [Craggs, Sardis, Heuillard]
AGEDIS Case Studies: Model-Based Testing in Industry new [DACS]
Software Acquisition Gold Practice: Model-Based Testing new [Dalal, Jain, Karunanithi, Leaton, Lott, Patton, Horowitz]
Model-Based Testing in Practice [Dalal, Jain, Karunanithi, Leaton, Lott]
Model Based Testing of a Highly Programmable System [El-Far]
Automated Construction of Software Behavior Models [El-Far]
Enjoying the Perks of Model-Based Testing [El-Far, Thompson, Mottay]
Experiences in Testing Pocket PC Applications [El-Far, Whittaker]
Model-based Software Testing [Faigon]
Testing for Zero bugs new [Fantinato, Jino]
Applying Extended Finite State Machines and Scenarios in Software Testing new [Farchi, Hartman, Pinter]
Using a model-based test generator to test for standard conformance [Fisher, Cao, Rothermel, Cook, Burnett]
Automated Test Case Generation for Spreadsheets new [Friedman, Hartman, Nagin, Shiran]
Projected State Machine Coverage for Software Testing new [Frohlich, Link]
Automated Test Case Generation from Dynamic Models new [GENEVIEVE Consortium]
A Feasibility Study in Formal Coverage Directed Test Generation [Grieskamp, Gurevich, Schulte, Veanes]
Generating Finite State Machines from Abstract State Machines [Grieskamp, Nachmanson, Tillman, Veanes]
Test Case Generation from AsmL Specifications Tool Overview new [Gronau, Hartman, Kirshin, Nagin, Olvovsky]
A Methodology and Architecture for Automated Software Testing [Hanford]
Automatic Generation of Test Cases new [Hartman]
Model-Based Test Generation Tools [Helovuo, Leppanen]
Exploration Testing new [Hong, Kwon, Cha]
Testing of Object-Oriented Programs Based on Finite State Machines new [Jorgensen]
Testing with Hostile Data Streams new [Jorgensen, Whittaker]
An API Testing Method [Kaksonen]
A Functional Method for Assessing Protocol Implementation Security [Kaner, Bond, McGee]
High Volume Test Automation new [Kasik, George]
Toward Automatic Generation of Novice User Test Scripts new [McKeeman]
Differential Testing for Software new [Meyer, Apfelbaum]
Use Cases Are Not Requirements [Meyer, Sandfoss]
Applying Use-Case Methodology to SRE and System Testing [Miller]
Automated Test Generation for Computer Telephony Systems [Nachmanson, Veanes, Schulte, Tillmann, Grieskamp]
Optimal Strategies for Testing Non-Deterministic Systems new [Nagle]
Data Driven Test Automation Frameworks new [Norton-Miller]
Model-Based Software Testing Delivers Results [Nyman] In
Defense of Monkey Testing [Nyman]
Using Monkey Test Tools new [Offutt, Abdurazik]
Generating Tests from UML Specifications [Offutt, Abdurazik]
Using UML Collaboration Diagrams for Static Checking and Test Generation [Offutt, Liu, Abdurazik]
Generating Test Data From State-based Specifications [Petrenko]
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography [Prenninger, Pretschner]
Abstractions for Model-Based Testing new [Pretschner, Lotzbeyer]
Model Based Testing with Constraint Logic Programming: First Results and Challenges new [Pretschner, Lotzbeyer, Philipps]
Model Based Testing in Evolutionary Software Development new [Pretschner, Slotosch, Lotzbeyer, Aiglstorfer, Kriebel]
Model Based Testing for Real: The Inhouse Card Case Study new [Robinson]
Using Pre-Oracled Data in Model-Based Testing [Robinson]
Intelligent Test Automation [Robinson]
Finite State Model-Based Testing on a Shoestring [Robinson]
Graph Theory Techniques in Model-Based Testing [Robinson]
Obstacles and Opportunities for Model-Based Testing in an Industrial Software Environment (
slides) new [Rosaria, Robinson]
Applying Models in Your Testing Process [Saff, Ernst]
Reducing wasted development time via continuous testing new [Sirer, Bershad]
Using Production Grammars in Software Testing new [Slutz]
Massive Stochastic Testing of SQL new [Struble]
Model-Based Testing of Installers in a Development Test Environment new [TerMaat]
Adventures in Automated Testing new [Whittaker]
Stochastic Software Testing [Zambelich]
Totally Data-Driven Automated Testing new