( en | de | ru )

 

Disambiguation of "Tsuchiya, Tatsuhiro"

Author of the publication

copydeleteadd this publication to your clipboard
Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation.

, and . CANDAR, page 596-598. IEEE Computer Society, (2014)

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.

Naotsugu Tsuchiya

 

Other publications of authors with the same name

A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems., , , and . ICTSS, volume 12543 of Lecture Notes in Computer Science, page 302-309. Springer, (2020)A monitoring point selection approach for power distribution systems., , and . SoSE, page 190-195. IEEE, (2013)Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services., , , and . ICOIN (1), volume 2343 of Lecture Notes in Computer Science, page 641-651. Springer, (2002)Automatic Facility Layout Design System Using Deep Reinforcement Learning., , and . ICAART (2), page 221-230. SCITEPRESS, (2023)An Adaptive Mechanism for Epidemic Communication., and . BioADIT, volume 3141 of Lecture Notes in Computer Science, page 306-316. Springer, (2004)Towards Automatic Constraint Elicitation in Test Design: Preliminary Evaluation Based on Collective Intelligence., and . ASE Workshops, page 58-61. IEEE Computer Society, (2015)Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation., and . CANDAR, page 596-598. IEEE Computer Society, (2014)On the availability of k-coteries in networks with unreliable nodes and links., , and . WORDS (Jan.), page 148-155. IEEE Computer Society, (1999)Modeling the Interaction of Power Line and SCADA Networks., , and . HASE, page 261-262. IEEE Computer Society, (2014)A visualization of specification coverage based on document similarity., , and . ICSE (Companion Volume), page 136-138. IEEE Computer Society, (2017)