Tae YONEDA


An Efficient Method for Testing Reachability Using Knowledge in Detecting Non-determinacy Feature Interactions
Junpei KOBAYASHI Tae YONEDA Tadashi OHTA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/04/01
Vol. E85-D  No. 4  pp. 607-614
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Specification
Keyword: 
feature interactionnon-determinacyservice specificationreachabilityknowledge
 Summary | Full Text:PDF(255.1KB)

Automatic Elicitation of Knowledge for Detecting Feature Interactions in Telecommunication Services
Tae YONEDA Tadashi OHTA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
Vol. E83-D  No. 4  pp. 640-647
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Theory and Methodology
Keyword: 
knowledge elicitationstate transitionspecification verificationfeature interaction
 Summary | Full Text:PDF(351.8KB)