Simulation-based abstractions for software product-line model checking

2012 34th International Conference on Software Engineering (ICSE) ◽

10.1109/icse.2012.6227150 ◽

2012 ◽

Author(s):

Maxime Cordy ◽

Andreas Classen ◽

Gilles Perrouin ◽

Pierre-Yves Schobbens ◽

Patrick Heymans ◽

...

Keyword(s):

Model Checking ◽

Software Product Line ◽

Product Line ◽

Simulation Based ◽

Software Product

Download Full-text

Development and evaluation of Formula Editor (a tool-based approach to enhance reusability in software product line model checking) on SAFER case study

10.31274/etd-180810-2879 ◽

2009 ◽

Author(s):

Sandeep Krishnan

Keyword(s):

Model Checking ◽

Software Product Line ◽

Product Line ◽

Software Product

Download Full-text

Efficient software product-line model checking using induction and a SAT solver

Frontiers of Computer Science ◽

10.1007/s11704-016-6048-7 ◽

2018 ◽

Vol 12 (2) ◽

pp. 264-279 ◽

Author(s):

Fei He ◽

Yuan Gao ◽

Liangze Yin

Keyword(s):

Model Checking ◽

Software Product Line ◽

Product Line ◽

Software Product ◽

Efficient Software

Download Full-text

Towards an incremental automata-based approach for software product-line model checking

Proceedings of the 16th International Software Product Line Conference on - SPLC '12 -volume 1 ◽

10.1145/2364412.2364425 ◽

2012 ◽

Author(s):

Maxime Cordy ◽

Pierre-Yves Schobbens ◽

Patrick Heymans ◽

Axel Legay

Keyword(s):

Model Checking ◽

Software Product Line ◽

Product Line ◽

Software Product

Download Full-text

Towards automatic derivation of a product performance model from a UML software product line model

Proceedings of the 7th international workshop on Software and performance - WOSP '08 ◽

10.1145/1383559.1383571 ◽

2008 ◽

Author(s):

Rasha Tawhid ◽

Dorina C. Petriu

Keyword(s):

Software Product Line ◽

Product Line ◽

Performance Model ◽

Product Performance ◽

Software Product

Download Full-text

Model checking software product line based on multi-valued logic

International Journal of Reliability and Safety ◽

10.1504/ijrs.2018.096060 ◽

2018 ◽

Vol 12 (4) ◽

pp. 364

Author(s):

Shuang Liu ◽

Yu Feng Shi ◽

Ming Y Huang

Keyword(s):

Model Checking ◽

Software Product Line ◽

Product Line ◽

Software Product

Download Full-text

Automatic Derivation of a Product Performance Model from a Software Product Line Model

2011 15th International Software Product Line Conference ◽

10.1109/splc.2011.27 ◽

2011 ◽

Author(s):

Rasha Tawhid ◽

Dorina C. Petriu

Keyword(s):

Software Product Line ◽

Product Line ◽

Performance Model ◽

Product Performance ◽

Software Product

Download Full-text

Model checking partial software product line designs

Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices - InnoSWDev 2014 ◽

10.1145/2666581.2666589 ◽

2014 ◽

Author(s):

Yufeng Shi ◽

Ou Wei ◽

Yu Zhou

Keyword(s):

Model Checking ◽

Software Product Line ◽

Product Line ◽

Software Product

Download Full-text

The integrated software product line model

IEEE Conference on Cybernetics and Intelligent Systems, 2004. ◽

10.1109/iccis.2004.1460472 ◽

2005 ◽

Author(s):

M. Yoshida ◽

N. lwane ◽

Y. Matsubara

Keyword(s):

Software Product Line ◽

Product Line ◽

Software Product ◽

Integrated Software

Download Full-text

An agile software product line model-driven design environment for video surveillance systems

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012) ◽

10.1109/etfa.2012.6489547 ◽

2012 ◽

Author(s):

N. Cardoso ◽

P. Rodrigues ◽

O. Ribeiro ◽

J. Cabral ◽

J. Monteiro ◽

...

Keyword(s):

Video Surveillance ◽

Software Product Line ◽

Product Line ◽

Surveillance Systems ◽

Design Environment ◽

Model Driven ◽

Software Product ◽

Download Full-text

Model checking software product line based on multi-valued logic

International Journal of Reliability and Safety ◽

10.1504/ijrs.2018.10017232 ◽

2018 ◽

Vol 12 (4) ◽

pp. 364

Author(s):

Ming Y Huang ◽

Yu Feng Shi ◽

Shuang Liu

Keyword(s):

Model Checking ◽

Software Product Line ◽

Product Line ◽

Software Product

Download Full-text