Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Fri 10 Jul 2020 16:35 - 16:38 at Silla - A24-Testing and Debugging 4 Chair(s): Yijun Yu

Mutation testing can be used to assess the fault-detection capabilities of a given test suite. To this aim, two characteristics of mutation testing frameworks are of paramount importance: (i) they should generate mutants that are representative of real faults; and (ii) they should provide a complete tool chain able to automatically generate, inject, and test the mutants. To address the first point, we recently proposed an approach using a Recurrent Neural Network EncoderDecoder architecture to learn mutants from ∼787k faults mined from real programs. The empirical evaluation of this approach confirmed its ability to generate mutants representative of real faults. In this paper, we address the second point, presenting DeepMutation, a tool wrapping our deep learning model into a fully automated tool chain able to generate, inject, and test mutants learned from real faults. Video: https://sites.google.com/view/learningmutation/deepmutation

Fri 10 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

16:05 - 17:05
A24-Testing and Debugging 4Paper Presentations / Technical Papers / New Ideas and Emerging Results / Journal First / Demonstrations at Silla
Chair(s): Yijun YuThe Open University, UK
16:05
6m
Talk
Manifold for Machine Learning AssuranceNIER
New Ideas and Emerging Results
Taejoon ByunUniversity of Minnesota, Sanjai RayadurgamUniversity of Minnesota
16:11
12m
Talk
On Learning Meaningful Assert Statements for Unit Test CasesTechnical
Technical Papers
Cody WatsonWashington and Lee University, Michele TufanoMicrosoft, Kevin MoranWilliam & Mary/George Mason University, Gabriele BavotaUniversità della Svizzera italiana, Denys PoshyvanykWilliam and Mary
Pre-print Media Attached
16:23
12m
Talk
TRADER: Trace Divergence Analysis and Embedding Regulation for Debugging Recurrent Neural NetworksArtifact ReusableTechnicalArtifact Available
Technical Papers
Guanhong TaoPurdue University, Shiqing MaRutgers University, Yingqi LiuPurdue University, USA, Qiuling XuPurdue University, Xiangyu ZhangPurdue University
Pre-print
16:35
3m
Talk
DeepMutation: A Neural Mutation ToolDemo
Demonstrations
Michele TufanoMicrosoft, Jason KimkoWilliam & Mary, Shiya WangWilliam & Mary, Cody WatsonWashington and Lee University, Gabriele BavotaUniversità della Svizzera italiana, Massimiliano Di PentaUniversity of Sannio, Denys PoshyvanykWilliam and Mary
Pre-print
16:38
8m
Talk
Specification Patterns for Robotic MissionsJ1
Journal First
Claudio MenghiUniversity of Luxembourg, Christos TsigkanosTU Vienna, Patrizio PelliccioneUniversity of L'Aquila and Chalmers | University of Gothenburg, Carlo GhezziPolitecnico di Milano, Thorsten BergerChalmers | University of Gothenburg
16:46
8m
Talk
ProXray: Protocol Model Learning and Guided Firmware AnalysisJ1
Journal First
Farhaan FowzeUniversity of Florida, Dave (Jing) TianPurdue University, Grant HernandezUniversity of Florida, Kevin ButlerUniv. Florida, Tuba YavuzUniversity of Florida
16:54
6m
Talk
Visual Sketching: From Image Sketches to CodeNIER
New Ideas and Emerging Results
Marcelo d'AmorimFederal University of Pernambuco, Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID, Carlos MelloFederal University of Pernambuco
Pre-print Media Attached