Model checking lots of systems: efficient verification of temporal properties in software product lines

By Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin. 2010 ACM/IEEE 32nd International Conference on Software Engineering, 2010

375 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems, Software

View Paper: https://www.semanticscholar.org/paper/7d4e46a752450bbc9c80d72b9383649bdf440ebe

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Andrzej Wasowski
2. Klaus Schmid
3. Paul Grünbacher
4. Rick Rabiser
5. Krzysztof Czarnecki
6. Christian Kästner
7. Sven Apel
8. Simon Helsen

In Information Systems

1. Andrzej Wasowski
2. Klaus Schmid
3. Paul Grünbacher
4. Rick Rabiser
5. Krzysztof Czarnecki
6. Christian Kästner
7. Sven Apel
8. Simon Helsen

In Software

1. Andrzej Wasowski
2. Krzysztof Czarnecki
3. Christian Kästner

Citations in the corpus

• Cool features and tough decisions: a comparison of variability modeling approaches (2012, background): “, [20, 3, 27]) and 3) automated guidance during configuration.”