burkhart.wolff

All courses will take place at Salle Firtech, Bat. 490, 9:00 - 12:00.

• Presentation of the course
• C1 11.12. [BW]: Overview, Foundations, Tests based on Data-Models
• C2 18.12. [BW] : Tests base on Behavioural Models
• C3 8.1 [MCG] : Testing Reactive Systems, IOCO
• C4 15.1. [BW] : Unit-Tests with HOL-TestGen
• C5 22.1. [BW] : Sequence-Tests with HOL-TestGen
• GREVE RER!
• C6 5.2. [BW] : White-Box-Tests based on Symbolic Execution with HOL-TestGen
• C7 12.2. [FV] :Uniform White-Box-Testing with Auguste
• C8 17.2. [FZ] :Testing Web-Services

Exam : 5.3.2009
Resume due: 5.3.2009 (submit electronically to ~wolff@lri.fr !)

Bibliography:

• [1] Model-Checking oriented Program-Based Testing: Test Input Generation with Java PathFinder
• [2] Symbolic Execution oriented Program-Based Testing: JPF-SE: A Symbolic Execution Extension to Java PathFinder
• [3] Compositional Symbolic Execution oriented Program-Based Testing:Demand-Driven Compositional Symbolic Execution PEX System Description
• [4] Random-based Testing: Testing Monadic Code with QuickCheck, QuickCheck Tutorial
• [5] Unit-Sequence-Reactive Testing:
• [6] Application: Firewall Testing, Model-based Firewall Conformance Testing
• [7] Symbolic IOCO : A Symbolic Framework for Model-Based Testing,Testing of Reactive Systems The IOCO testing theory
• [8] Tools :Tools for Test Case Generation
• [9] Testing Non-Determinism: Optimal Strategies For Testing Nondeterministic Systems
• [10] Large-Scale Industrial Application: Using Model-Based Testing for Quality Assurance of Protocol Documentation
• [11] Invariant Generation By Tests: From Tests To Proofs
• [12] Testing Pointer Programs : Test Input Generation for Programs with Pointers