| Presentation | 2009-11-27 A Method for Detecting Defects in Source Codes Using Model Checking Techniques Yoshitaka Aoki, Saeko Matsuura, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | The programs made by the developer who doesn't correctly understand the specifications include unexpected bugs, so that they has a large influence on the system development. To discover this, a lot of man-hours are needed. It proposes the technique the low-cost achievement of detecting defects in source codes by using the model inspection technique that can be specified when the occurring trouble is found by covering inspection as the counterexample of the cause. Two kinds of bug patterns are assumed and the effectiveness of the proper move method is discussed. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Model Checking / Bug |
| Paper # | KBSE2009-44 |
| Date of Issue |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2009/11/19(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Method for Detecting Defects in Source Codes Using Model Checking Techniques |
| Sub Title (in English) | |
| Keyword(1) | Model Checking |
| Keyword(2) | Bug |
| 1st Author's Name | Yoshitaka Aoki |
| 1st Author's Affiliation | Graduate School of Engineering, Shibaura institute of technology Department of electronic engineering and computer science() |
| 2nd Author's Name | Saeko Matsuura |
| 2nd Author's Affiliation | Shibaura institute of technology Department of electronic information system College of Systems Engineering and Science |
| Date | 2009-11-27 |
| Paper # | KBSE2009-44 |
| Volume (vol) | vol.109 |
| Number (no) | 307 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |