5th TAROT Summer School
on Software Testing, July 6-10, 2009
- Testing distributed systems (pdf), (zip), (7z)
- Unitary testing of components in context.
- Mutation testing: Practical aspects and cost analysis (pdf), (zip), (7z)
- Quality Engineering for Test Artefacts (pdf), (zip), (7z)
- Testing timed systems: The conformance relations zoo and the formal classification of its species(pdf), (zip), (7z)
- Testing of biology-inspired systems (pdf), (zip), (7z)
- A Testing-based Approach to Conformance in Service Composition.
- Passive testing using the monitoring tool Osmius (pdf), (zip), (7z)
- Model Based Testing from Behavioural Models using Constraint Logic Programming (pdf), (zip), (7z)
- On distinguishing and testing untimed and timed non-deterministic finite state machines.
- SHIELDS: Methods and tools for vulnerability detection.
- Automating the test process in avionics software development (pdf), (zip), (7z)
- Combining model-based testing and machine learning (pdf), (zip), (7z)
- (PhD) Online Testing of Service-Oriented Infrastructures (pdf), (zip), (7z)
- (PhD) Evolutionary Methods for
State-based Testing
(pdf), (zip), (7z)
- (PhD) Present and Absent Sets: An Abstraction for
Data-Intensive Systems Suited for Testing
(pdf), (zip), (7z)
- (PhD) Symbolic Model-Based Testing for Real-Time Systems (pdf), (zip), (7z)
