( en | de | ru )

 

Disambiguation of "Nakajima, Shin"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation.

, , , , , and . SoMeT, volume 217 of Frontiers in Artificial Intelligence and Applications, page 383-397. IOS Press, (2010)

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.

Yoshimichi Nakajima

Chikako Nakajima

Nanako Nakajima

Masaki Nakajima

Dong-Shin Shin

 

Other publications of authors with the same name

Constructing FODA Feature Diagrams with a GUI-based Tool.. SEKE, page 20-25. Knowledge Systems Institute Graduate School, (2009)Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability., and . CyPhy, volume 9361 of Lecture Notes in Computer Science, page 99-115. Springer, (2015)Generalized Oracle for Testing Machine Learning Computer Programs.. SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 174-179. Springer, (2017)Invited Quality Assurance of Machine Learning Software.. GCCE, page 601-604. IEEE, (2018)Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice., and . SOFL+MSVL, volume 8332 of Lecture Notes in Computer Science, page 3-16. Springer, (2013)AI Extension of SQuaRE Data Quality Model., and . QRS Companion, page 306-313. IEEE, (2021)A Map of Asynchronous Communication Models., , , and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 307-322. Springer, (2019)Model-based Power Consumption Analysis of Smartphone Applications.. ACES-MB@MoDELS, volume 1084 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Project Report: High-Reliable Object-Oriented Embedded Software Design., , , , and . WSTFEUS, page 144-148. IEEE Computer Society, (2004)Distortion and Faults in Machine Learning Software.. SOFL+MSVL, volume 12028 of Lecture Notes in Computer Science, page 29-41. Springer, (2019)