Patrick Heymans

Model checking <u>lots</u> of systems

Patrick Heymans, Pierre‐Yves Schobbens, Axel Legay et al. · 2010 · 363 citations

Computing, Computer Science, Systems Engineering +9

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking

Maxime Cordy, Pierre‐Yves Schobbens, Patrick Heymans et al. · IEEE Transactions on Software Engineering · 2013 · 286 citations

Computing, Computer Engineering, Computer Science +11

A proposal for a scenario classification framework

Colette Rolland, Camille Ben Achour, C. Cauvet et al. · Requirements Engineering · 1998 · 263 citations

Computing, Systems Engineering, Machine Learning +9

Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis

Andreas Metzger, Klaus Pohl, Patrick Heymans et al. · 2007 · 217 citations

Computing, Systems Engineering, Diagramming +13

Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines

Christopher Henard, Mike Papadakis, Gilles Perrouin et al. · IEEE Transactions on Software Engineering · 2014 · 213 citations · Full text

Computing, Computer Engineering, Computer Science +15