M2 Tsuchiya-kun played a role of valedictorian of Graduate School of FSE for the commencement ceremony this afternoon. Congratulations!
本日の学位授与式にて、M2 土屋君が大学院基幹理工学研究科の総代を務めました。おめでとう!
Today from our research lab and group, four (Washizaki lab) + two (Fukazawa lab) graduate students and seven + four undergraduates successfully graduated. Congratulations! Moreover, M2 Ryosuke Tsuchiya and M2 Takanori Kobashi received Awards of Dept. CS/CE, Graduate School of Fundamental Science and Engineering (FSE), and M0 Yohei Aoki received Award of Dept. CS, School of FSE. Congratulations!
本日、当研究グループから4名(鷲崎研)+2名(深澤研)の大学院修士院生、および、7名+4名の学部生が無事修了・卒業となりました。おめでとう! さらに、M2土屋君とM2小橋君が大学院専攻賞 本賞、M0青木君が学部長賞をそれぞれ受賞しました。おめでとう!
以下の日程で63号館5階0523室にてオープンハウスを開催しますので興味があればぜひ遊びに来てください。配属決定後の顔合わせは28日13:00を予定しています。
高澤君が「プログラミングと性格に関する一考察」の発表により情報処理学会 第77回全国大会 学生奨励賞を受賞しました。プログラミングへの興味と性格の間の相関を分析するという独創的な内容です。おめでとう!
高澤亮平(早大),坂本一憲(NII),鷲崎弘宜,深澤良彰(早大), “プログラミングと性格に関する一考察”, 情報処理学会第77回全国大会, 京都大学, 2015年3月17-19日.
「プログラミングには性格が表れる」と言われるが、実証された例や科学的な根拠は見つかっていない。そこで我々は、競技プログラミングに興味のある人々を対象とした大規模なアンケートを行い、エゴグラム診断を用いて性格の分析を行った。この結果をもとに、プログラミングへの興味と性格の間の相関を分析した。その結果、一部の質問や性格に関して相関が現れることが明らかとなった。また、ソースコードと性格に関しても分析を行うことで、プログラミングと心理的な側面の関係についても考察した。
Thanks to many contestants, sponsors, supporters and staffs, SamurAI Coding 2014-15 World Final Round was successfully over! By conducting four matches, four teams (among 16) advanced to the Final match: Taiyo, wahu, siman, and muupan. And finally the winner is team Taiyo. Congratulations! Almost all results of Samurai Coding 2014-15 are available in the following presentation slides. Moreover we had a great networking at the banquet! Thank you again, and, see you next time!
From IEEE Computer Society, President Prof. Thomas M. Conte, Executive Director Angela R. Burgess, and Director Eric Berkowitz visited us at Waseda University Green Computing Systems Research and Development Center on March 17th. Prof. Washizaki played four different roles including head of Global Software Engineering Laboratory, chair of IEEE CS Japan Chapter, director of IPSJ SamurAI Coding, and, chair of ISO/IEC/JTC1/SC7/WG20 Japan committee. Things are all related to IEEE CS! We had a great discussion on current status and future collaboration.
#SamurAICoding Submission of AI program for World Final has been closed on March 8th AoE. Winners of World Final will receive prizes totaling 100,000JPY. Moreover there will be some Sponsor Awards and Gifts. Good luck, and see you all World Finalists in beautiful Kyoto, on March 18th! The world final will be collocated with 77th IPSJ National Convention. Everyone is welcome. Come to Kyoto and watch the World final together!
SamurAI Coding 2014-15 の World Final 用のプログラム提出を日本時間3月9日21:00に締め切りました。決勝における上位表彰者には総額10万円相当の副賞が提供されます。さらに、スポンサーから企業賞や景品が提供される予定です。3月18日に Finalist の皆さんとお会いできることを楽しみにしています。またこのイベントは、情報処理学会第77回全国大会の企画として位置付けられており、どなたでも観覧できます(イベント企画のみの聴講であれば無料です)。ぜひご一緒に白熱の対戦を鑑賞しましょう!
Tadahiro Noguchi, Hironori Washizaki, Yoshiaki Fukazawa, Atsutoshi Sato, Kenichiro Ota,“History-Based Test Case Prioritization for Black Box Testing on a New Product using Ant Colony Optimization,” Proceedings of the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Testing in Practice track, pp.XX-YY, 13 – 17 April 2015, Graz, Austria (CORE Rank C, Acceptance rate 12/27=44%)(to appear)
Test case prioritization is a technique to improve software testing. Although many works have investigated test case prioritization, they focus on white box testing or regression testing. However, software testing is often outsourced to a software testing company that employs black box testing. Herein a framework is proposed to prioritize test cases for black box testing on a new product using the test execution history collected from a similar prior product and the Ant Colony Optimization. A simulation using two actual products shows the effectiveness and practicality of our proposed framework.
Takanori Kobashi, Masatoshi Yoshizawa, Hironori Washizaki, Yoshiaki Fukazawa, Nobukazu Yoshioka, Haruhiko Kaiya, Takano Okubo, “TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing,” Proceedings of the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Tool Track, pp.XX-YY, 13 – 17 April 2015, Graz, Austria (CORE Rank C, Acceptance rate 9/25=36%)(to appear)
Because software developers are not necessarily security experts, identifying potential threats and vulnerabilities in the early stage of the development process (e.g., the requirement- or design-phase) is insufficient. Even if these issues are addressed at an early stage, it does not guarantee that the final software product actually satisfies security requirements. To realize secure designs, we propose extended security patterns, which include requirement- and design-level patterns as well as a new model testing process. Our approach is implemented in a tool called TESEM (Test Driven Secure Modeling Tool), which supports pattern applications by creating a script to execute model testing automatically. During an early development stage, the developer specifies threats and vulnerabilities in the target system, and then TESEM verifies whether the security patterns are properly applied and assesses whether these vulnerabilities are resolved.
Global Software Engineering Lab hosted 4th Asian Conference on Pattern Languages of Programs (AsianPLoP 2015) on March 5-7 at Green Computing Systems Research Center, Waseda University. Thanks to all supporters, staffs, shepherds, PC members, authors and participants, it was successfully over! Hope to see you soon at other PLoPs, community gathering, and/or next AsianPLoP on probably next Feb 2016!
On March 5, we had a tutorial and workshop on shepherding led by Joseph Yoder and Rebecca. It was great to learn about shepherding process, nature of how are patterns elaborated, pattern community and culture, and more! After the workshop we had a welcome reception! Do food and drink! That makes our connection tighter and stimulates our ideas and creativity.
On March 6, Hiroshi Nakano san (aka. Super-Hiro) gave us a keynote titled “JAPANESE SPIRITUALITY AND PATTERN LANGUAGE (日本的霊性とパタンランゲージ)”. It was wonderful and thoughtful to learn about the centering process, Japanese spirituality, pattern language and project language. After the keynote we workshopped 10 papers (!) in total in the form of traditional Writer’s Workshop. What a busy day! Finally we had a banquet at Waseda Uni-Cafe next to Okuma-Auditorium. Busy, but great day!
On March 7, the Aleander’s books reading group guides us to some local quiet and beautiful places including Ana hachiman gu, Kan-sen-en and Mizu-inari shrine. During the short excursion we found a lot of properties from Nature of Order and patterns! After the excursion James O. Coplien gave us a great and thoughtful talk on A Challenge to the (Japanese) Pattern Community leading to interesting discussions on club and community, community authoring and more! In addition to the talk and discussions, we hold Writer’s Workshops and interactive workshop on “Processes for Making Lively Things” led by Joseph Yoder and Rebecca. Finally we closed the conference by having some reports, retrospective including hope for the future, concluding game, and a party!