Learning-based test programming for programmers

Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Amin Alipour

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Abstract

While a diverse array of approaches to applying machine learning to testing has appeared in recent years, many efforts share three central challenges, two of which are not always obvious. First, learning-based testing relies on adapting the tests generated to the program being tested, based on the results of observed executions. This is the heart of a machine learning approach to test generation. A less obvious challenge in many approaches is that the learning techniques used may have been devised for problems that do not share all the assumptions and goals of software testing. Finally, the usability of approaches by programmers is a challenge that has often been neglected. Programmers may wish to maintain more control of test generation than a "push button" tool generally provides, without becoming experts in software testing theory or machine learning algorithms, and with access to the full power of the language in which the tested system is written. In this paper we consider these issues, in light of our experience with adaptation-based programming as a method for automated test generation.

Original languageEnglish (US)
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publicationTechnologies for Mastering Change - 5th International Symposium, ISoLA 2012, Proceedings
Pages572-586
Number of pages15
EditionPART 1
DOIs
StatePublished - 2012
Externally publishedYes
Event5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012 - Heraklion, Crete, Greece
Duration: Oct 15 2012Oct 18 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
NumberPART 1
Volume7609 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
Country/TerritoryGreece
CityHeraklion, Crete
Period10/15/1210/18/12

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Learning-based test programming for programmers'. Together they form a unique fingerprint.

Cite this