Symbolic search-based testing

Baars, A.I., Harman, M., Hassoun, Y. et al. (4 more authors) (2011) Symbolic search-based testing. In: Alexander, P., Pasareanu, C.S. and Hosking, J.G., (eds.) Proceedings of 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 06-10 Nov 2011, Lawrence, KS, USA. IEEE , pp. 53-62. ISBN 978-1-4577-1638-6

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. Reproduced in accordance with the publisher's self-archiving policy.
Keywords: Search–Based Testing; Symbolic Execution; Fitness Functions
Dates:
  • Published (online): 12 December 2011
  • Published: 12 December 2011
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 13 Nov 2019 13:01
Last Modified: 13 Nov 2019 13:01
Published Version: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp...
Status: Published
Publisher: IEEE
Refereed: Yes
Identification Number: https://doi.org/10.1109/ASE.2011.6100119

Share / Export

Statistics