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 - 16:11 Talk | Manifold for Machine Learning AssuranceNIER New Ideas and Emerging Results | ||
16:11 - 16:23 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 - 16:35 Talk | TRADER: Trace Divergence Analysis and Embedding Regulation for Debugging Recurrent Neural Networks Technical Papers Guanhong TaoPurdue University, Shiqing MaRutgers University, Yingqi LiuPurdue University, USA, Qiuling XuPurdue University, Xiangyu ZhangPurdue University Pre-print | ||
16:35 - 16:38 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 - 16:46 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 - 16:54 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 - 17:00 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 |