UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Author | Type
Jump to: B | J
Number of items: 4.


Baars, A; Vos, T; Harman, M; Lakhotia, K; Hassoun, Y; McMinn, P; Tonella, P; (2011) Symbolic search-based testing. 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings 53 - 62. 10.1109/ASE.2011.6100119.

Baars, AI; Lakhotia, K; Vos, TEJ; Wegener, J; (2011) Search--Based Testing, the Underlying Engine of Future Internet Testing. In: Ganzha, M and Maciaszek, LA and Paprzycki, M, (eds.) FedCSIS. (pp. 917 - 923).

Binkley, DW; Harman, M; Lakhotia, K; (2011) FlagRemover: A Testability Transformation for Transforming Loop-Assigned Flags. ACM T SOFTW ENG METH , 20 (3) , Article 12. 10.1145/2000791.2000796.


Jia, Y; Harman, M; (2011) An Analysis and Survey of the Development of Mutation Testing. IEEE T SOFTWARE ENG , 37 (5) 649 - 678. 10.1109/TSE.2010.62.

This list was generated on Fri Feb 27 09:29:06 2015 GMT.