UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Achievements, open problems and challenges for search based software testing

Harman, M; Jia, Y; Zhang, Y; (2015) Achievements, open problems and challenges for search based software testing. In: Wotawa, F and Fraser, G and Marinov, D, (eds.) Proceedings of 2015 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE: Graz, Austria. Green open access

[thumbnail of Jia_Achievements_icst15.pdf]
Preview
Text
Jia_Achievements_icst15.pdf - Accepted version

Download (350kB) | Preview

Abstract

Search Based Software Testing (SBST) formulates testing as an optimisation problem, which can be attacked using computational search techniques from the field of Search Based Software Engineering (SBSE). We present an analysis of the SBST research agenda, focusing on the open problems and challenges of testing non-functional properties, in particular a topic we call 'Search Based Energy Testing' (SBET), Multi-objective SBST and SBST for Test Strategy Identification. We conclude with a vision of FIFIVERIFY tools, which would automatically find faults, fix them and verify the fixes. We explain why we think such FIFIVERIFY tools constitute an exciting challenge for the SBSE community that already could be within its reach.

Type: Proceedings paper
Title: Achievements, open problems and challenges for search based software testing
Event: 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Location: Graz, AUSTRIA
Dates: 13 April 2015 - 17 April 2015
ISBN-13: 9781479971251
Open access status: An open access version is available from UCL Discovery
DOI: 10.1109/ICST.2015.7102580
Publisher version: http://dx.doi.org/10.1109/ICST.2015.7102580
Language: English
Additional information: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
Keywords: Science & technology, technology, computer science, software engineering, computer science, theory & methods, engineering, electrical & electronic, computer science, engineering, test data generation, multiobjective optimization, verification, programs, algorithms, framework, systems.
UCL classification: UCL
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/1499459
Downloads since deposit
769Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item