Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale Examinez les sujets de recherche où Xavier DEVROEY est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

Ingénierie et Science des Matériaux

Testing
Sampling
Markov processes
Model checking
Explosions
Application programming interfaces (API)
Quality assurance
Software testing
Application programs
Software engineering
Teaching
Finite automata
Engines
Specifications
Defects
Engineers
Scalability

mathématiques

Software Product Lines
Transition Systems
Testing
Prioritization
Coverage
Crash
Optimization