IEICE Technical Committee Submission System
Conference Schedule		 Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 5 of 5  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS 2021-03-04
13:25		 Online Online Generating Exhaustive Counterexample and Path Constraint with Software Analysis Workbench and Symbolic PathFinder
Rin Karashima, Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2020-41		 Software Analysis Workbench (SAW) generates models from JVM bytecode by symbolic execution.
Users can perform model che... [more]		 SS2020-41
pp.78-83
SS, DC 2017-10-19
15:55		 Kochi Kochi City Culture-plaza CUL-PORT An Informative Test Code Approach for Code Writing Problem in Java Programming Learning Assistant System
Khin Khin Zaw, Nobuo Funabiki (Okayama Univ.) SS2017-26 DC2017-25		 To assist Java programming educations, we have developed a Web-based Java Programming Learning Assistant System (JPLAS),... [more] SS2017-26 DC2017-25
pp.31-36
ET 2009-06-13
13:35		 Aichi Nanzan Univ. A Proposal of an Educational-support System for Java Programming Using the Test-driven Development Method
Yukiko Matsushima, Yasuhiro Kasai, Nobuo Funabiki, Toru Nakanishi, Noriki Amano (Okayama Univ.) ET2009-8		 This paper presents an educational-support system for Java programming using the test-driven development method, with th... [more] ET2009-8
pp.7-12
SS, KBSE 2007-04-19
14:20		 Fukushima Univ. of Aizu A Study of Unit Testing with Orthogonal Array -- A Support Tool for JUnit --
Akira Yamada (NEC), Hirohisa Aman, Yuzo Takamatsu (Ehime Univ.) SS2007-1 KBSE2007-1		 In recent years, the orthogonal array has been a key topic to enhance software testing.
The orthogonal array can be use... [more]		 SS2007-1 KBSE2007-1
pp.1-6
NS, IN
(Joint)		 2007-03-08
08:20		 Okinawa Okinawa Convention Center Describing and Verifying Safety in Integrated Services of Home Network System by JML
Ben Yan, Masahide Nakamura (NAIST), Lydie du Bousquet (Joseph Fourier Univ.), Ken-ichi Matsumoto (NAIST) NS2006-159		 The recent ubiquitous technologies allow home electric appliances and sensors to be connected with local area network at... [more] NS2006-159
pp.7-12
 Results 1 - 5 of 5  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

[Return to Top Page]

[Return to IEICE Web Page]
The Institute of Electronics, Information and Communication Engineers (IEICE), Japan