| Presentation | 2013-07-25 Automated Error Localization with Weighted Partial Maximum Satisfiability Si-Mohamed LAMRAOUI, Shin NAKAJIMA, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Localizing error in programs is a hard task that requires human engineers to find real bug locations with the manual analysis of lengthy counterexample traces. Automatic error localization methods exist but they often generate many spurious root causes. This paper proposes a new method for localizing error in imperative programs. It uses weighted partial Maximum Satisfiability (MaxSAT) and several advanced techniques. The proposed method is implemented in SNIPER, a tool build upon the LLVM compiler infrastructure and the Yices SMT solver. We demonstrate the effectiveness of SNIPER on the TCAS task of the Siemens Test Suite. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Bounded Model Checking / Weighted Partial Maximum Satisfiability / LLVM / Yices |
| Paper # | SS2013-13,KBSE2013-13 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 2013/7/18(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 | Software Science (SS) |
|---|---|
| Language | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Automated Error Localization with Weighted Partial Maximum Satisfiability |
| Sub Title (in English) | |
| Keyword(1) | Bounded Model Checking |
| Keyword(2) | Weighted Partial Maximum Satisfiability |
| Keyword(3) | LLVM |
| Keyword(4) | Yices |
| 1st Author's Name | Si-Mohamed LAMRAOUI |
| 1st Author's Affiliation | SOKENDAI & National Institute of Informatics, Tokyo, Japan() |
| 2nd Author's Name | Shin NAKAJIMA |
| 2nd Author's Affiliation | SOKENDAI & National Institute of Informatics, Tokyo, Japan |
| Date | 2013-07-25 |
| Paper # | SS2013-13,KBSE2013-13 |
| Volume (vol) | vol.113 |
| Number (no) | 159 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |