| IEICE Technical Committee Submission System Conference Paper's Information |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top Page | Go Previous | [Japanese] / [English] |
| Paper Abstract and Keywords | ||
| Presentation | 2019-03-05 15:25 Automatic Repair of Conditional Expressions for Functional Programs by Using Counterexamples Ken Matsui, Ryosuke Sato, Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.)  SS2018-80 |
|
| Abstract | (in Japanese) | (See Japanese page) |
| (in English) | In software development, manual bug fixing consumes much time and effort. Therefore, automated program repair methods have been studied, but there is no one for functional programs. In this paper, we propose an automated bug fixing method for functional programs. The target language is simple typed lambda calculus with integer, boolean, and recursion, and the target defect is an error in a conditional expression of a conditional branch. First, we find an expression to be fixed using a counterexample by a software model checker for the functional programs. Second, we generate a constraint and a patch for repair. Finally, if the fixed program is judged as safe by the model checker, bug fixing is completed, and if unsafe, the repair operation is repeated for another counterexample. We show the capabilities of the approach using case studies of bug examples. |
|
| Keyword | (in Japanese) | (See Japanese page) |
| (in English) | functional programs / automatic repair / software model checking / conditional expressions / counterexamples / / / | |
| Reference Info. | IEICE Tech. Rep., vol. 118, no. 471, SS2018-80, pp. 169-174, March 2019. | |
| Paper # | SS2018-80 | |
| Date of Issue | 2019-02-25 (SS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 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) | |
| Download PDF | SS2018-80 |
|
| Conference Information | |
| Committee | SS |
| Conference Date | 2019-03-04 - 2019-03-05 |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Paper Information | |
| Registration To | SS |
| Conference Code | 2019-03-SS |
| Language | Japanese |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Automatic Repair of Conditional Expressions for Functional Programs by Using Counterexamples |
| Sub Title (in English) | |
| Keyword(1) | functional programs |
| Keyword(2) | automatic repair |
| Keyword(3) | software model checking |
| Keyword(4) | conditional expressions |
| Keyword(5) | counterexamples |
| Keyword(6) | |
| Keyword(7) | |
| Keyword(8) | |
| 1st Author's Name | Ken Matsui |
| 1st Author's Affiliation | Kyushu University (Kyushu Univ.) |
| 2nd Author's Name | Ryosuke Sato |
| 2nd Author's Affiliation | Kyushu University (Kyushu Univ.) |
| 3rd Author's Name | Naoyasu Ubayashi |
| 3rd Author's Affiliation | Kyushu University (Kyushu Univ.) |
| 4th Author's Name | Yasutaka Kamei |
| 4th Author's Affiliation | Kyushu University (Kyushu Univ.) |
| 5th Author's Name | |
| 5th Author's Affiliation | () |
| 6th Author's Name | |
| 6th Author's Affiliation | () |
| Speaker | Author-1 |
| Date Time | 2019-03-05 15:25:00 |
| Presentation Time | 25 minutes |
| Registration for | SS |
| Paper # | SS2018-80 |
| Volume (vol) | vol.118 |
| Number (no) | no.471 |
| Page | pp.169-174 |
| #Pages | 6 |
| Date of Issue | 2019-02-25 (SS) |
[Return to Top Page]