Online Papers About Model-Based Testing

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

1
Hosted by www.Geocities.ws