𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Simulation-based abstractions for software product-line model checking

✍ Scribed by Cordy, Maxime; Classen, Andreas; Perrouin, Gilles; Schobbens, Pierre-Yves; Heymans, Patrick; Legay, Axel

Book ID: 115524178
Publisher: IEEE
Year: 2012
Weight: 396 KB
Category: Article
ISBN: 1467310654
DOI: 10.1109/icse.2012.6227150

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 34th International Conference

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Synthesizing API usage examples

✍ Buse, Raymond P. L.; Weimer, Westley 📂 Article 📅 2012 🏛 IEEE ⚖ 511 KB

[IEEE 2012 34th International Conference

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Synthesizing API usage examples

✍ Buse, Raymond P. L.; Weimer, Westley 📂 Article 📅 2012 🏛 IEEE ⚖ 511 KB

[IEEE 2012 34th International Conference

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Modeling Cloud performance with Kriging

✍ Gambi, Alessio; Toffetti, Giovanni 📂 Article 📅 2012 🏛 IEEE ⚖ 92 KB

[IEEE 2012 34th International Conference

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Large-scale formal verification in practice: A process perspective

✍ Andronick, June; Jeffery, Ross; Klein, Gerwin; Kolanski, Rafal; Staples, Mark; Z 📂 Article 📅 2012 🏛 IEEE ⚖ 681 KB

[IEEE 2012 3rd International Workshop on

[IEEE 2012 3rd International Workshop on Product LinE Approaches in Software Engineering (PLEASE) - Zurich, Switzerland (2012.06.4-2012.06.4)] 2012 Third International Workshop on Product LinE Approaches in Software Engineering (PLEASE) - Leveraging variability modeling for multi-dimensional Model-driven Software Product Lines

✍ Filho, Joao Bosco Ferreira; Barais, Olivier; Baudry, Benoit; Le Noir, Jerome 📂 Article 📅 2012 🏛 IEEE ⚖ 244 KB

[IEEE 2012 5th International Workshop on

[IEEE 2012 5th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE) - Zurich, Switzerland (2012.06.2-2012.06.2)] 2012 5th International Workshop on Co-operative and Human Aspects of Software Engineering (CHASE) - Tangible software modeling with multi-touch technology

✍ Muller, Sebastian; Wursch, Michael; Schoni, Pascal; Ghezzi, Giacomo; Giger, Eman 📂 Article 📅 2012 🏛 IEEE ⚖ 785 KB