Hybrid Testing Environment of Execution Testing and Model Checking for Product Line Approach

2018 25th Asia-Pacific Software Engineering Conference (APSEC) ◽

10.1109/apsec.2018.00092 ◽

2018 ◽

Author(s):

Yusuke Aoyama ◽

Takeru Kuroiwa ◽

Noriyuki Kushiro

Keyword(s):

Model Checking ◽

Product Line ◽

Hybrid Testing ◽

Testing Environment

Download Full-text

A Hybrid Testing Environment between Execution Test and Model Checking for IoT System

2019 IEEE International Conference on Consumer Electronics (ICCE) ◽

10.1109/icce.2019.8661998 ◽

2019 ◽

Author(s):

Takeru Kuroiwa ◽

Yusuke Aoyama ◽

Noriyuki Kushiro

Keyword(s):

Model Checking ◽

Hybrid Testing ◽

Testing Environment

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

Model Checking of Domain Artifacts in Product Line Engineering

2009 IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2009.16 ◽

2009 ◽

Author(s):

Kim Lauenroth ◽

Klaus Pohl ◽

Simon Toehning

Keyword(s):

Model Checking ◽

Product Line ◽

Product Line Engineering ◽

Line Engineering

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

Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

2013 35th International Conference on Software Engineering (ICSE) ◽

10.1109/icse.2013.6606593 ◽

2013 ◽

Author(s):

Maxime Cordy ◽

Pierre-Yves Schobbens ◽

Patrick Heymans ◽

Axel Legay

Keyword(s):

Model Checking ◽

Product Line ◽

Boolean 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

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

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

Product Line Verification via Modal Meta Model Checking

From Software Engineering to Formal Methods and Tools, and Back - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30985-5_19 ◽

2019 ◽

pp. 313-337 ◽

Author(s):

Tim Tegeler ◽

Alnis Murtovi ◽

Markus Frohme ◽

Bernhard Steffen

Keyword(s):

Model Checking ◽

Product Line ◽

Download Full-text

Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering ◽

10.1109/icse.2015.40 ◽

2015 ◽

Author(s):

Shoham Ben-David ◽

Baruch Sterin ◽

Joanne M. Atlee ◽

Sandy Beidu

Keyword(s):

Model Checking ◽

Product Line ◽

Symbolic Model Checking ◽

Download Full-text