Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Wed 29 May 2019 15:00 - 15:20 at Place du Canada - Test Generation Chair(s): Adam Porter

Software specifications often use natural language to describe the desired behavior, but such specifications are difficult to verify automatically. We present Swami, an automated technique that extracts test oracles and generates executable tests from structured natural language specifications. Swami focuses on exceptional behavior and boundary conditions that often cause field failures but that developers often fail to manually write tests for. Evaluated on the official JavaScript specification (ECMA- 262), 98.4% of the tests Swami generated were precise to the specification. Using Swami to augment developer-written test suites improved coverage and identified 1 previously unknown defect and 15 missing JavaScript features in Rhino, 1 previously unknown defect in Node.js, and 18 semantic ambiguities in the ECMA-262 specification.

Wed 29 May

icse-2019-Paper-Presentations
14:00 - 15:30: Papers - Test Generation at Place du Canada
Chair(s): Adam PorterUniversity of Maryland
icse-2019-Software-Engineering-in-Practice14:00 - 14:20
Talk
Yunho KimKAIST, Dongju LeeSoftware Verification Team, Hyundai Mobis, Junki BaekSoftware Verification Team, Hyundai Mobis, Moonzoo KimKAIST
icse-2019-Demonstrations14:20 - 14:40
Talk
Alessio GambiUniversity of Passau, Marc MuellerBeamNG GmbH, Gordon FraserUniversity of Passau
icse-2019-Demonstrations14:40 - 15:00
Talk
Tri HuynhSaarland University, Alessio GambiUniversity of Passau, Gordon FraserUniversity of Passau
icse-2019-Technical-Papers15:00 - 15:20
Talk
Manish MotwaniUniversity of Massachusetts, Amherst, Yuriy BrunUniversity of Massachusetts Amherst
Link to publication Pre-print
icse-2019-Paper-Presentations15:20 - 15:30
Talk