( en | de | ru )

 

Disambiguation of "Kishi, Tomoji"

Author of the publication

copydeleteadd this publication to your clipboard
Design Testing for Product Line Development based on Test Scenarios

, and . Proceedings of the International Workshop on Software Product Line Testing (SPLiT 2004), page 19--26. Boston, MA, (August 2004)ST: Das zu testende System und die mit dem System in Interaktion stehende Umgebung werden als Zustandsautomat modelliert. Testdaten ergeben sich aus den Transitionen. Es werden Modelchecking Techniken angewendet um Invarianten zu prüfen..

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mika Kishimoto-Suga

Regina Tiemy Kishi

Shoko Kishitani

Tetsuo Kishimoto

 

Other publications of authors with the same name

Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems., , , , , , , , , and . CoRR, (2023)Design Verification Tool for Product Line Development., and . SPLC (2), page 147-148. Kindai Kagaku Sha Co. Ltd., Tokyo, Japan, (2007)Preface for the special issue on tool papers of the 25th International Systems and Software Product Line Conference (SPLC 2021)., and . Sci. Comput. Program., (August 2023)Design Verification for Product Line Development., , and . SPLC, volume 3714 of Lecture Notes in Computer Science, page 150-161. Springer, (2005)Joint Workshop of the Third International Workshop on Model-Driven Approaches in Software Product Line Engineering and the Third Workshop on Scalable Modeling Techniques for Software Product Lines (MAPLE/SCALE 2011)., , , , , , , and . SPLC, page 340. IEEE Computer Society, (2011)Toward an Encoding Approach to Interaction-based Test Suite Minimization., , , and . ICST Workshops, page 211-212. IEEE, (2020)Problem Factor Portfolio Analysis for Product Line Architecture Refactoring., and . SPLC Workshops, page 205-210. Lancaster University, (2010)New Challenge of Scalable Modeling., and . SPLC Workshops, page 191-192. Lancaster University, (2010)System Product Line Engineering for Small Appliances with Driver Derivation., , and . APSEC, page 389-392. IEEE Computer Society, (2016)Aspect-Oriented Modeling for Variability Management., and . SPLC, page 213-222. IEEE Computer Society, (2008)