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

Yusuke Aoyama, Takeru Kuroiwa, Noriyuki Kushiro. Hybrid Testing Environment of Execution Testing and Model Checking for Product Line Approach. In 25th Asia-Pacific Software Engineering Conference, APSEC 2018, Nara, Japan, December 4-7, 2018. pages 693-694, IEEE, 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.