Author of the publication

Using symbolic execution to guide test generation.

, , , , and . Softw. Test. Verification Reliab., 15 (1): 41-61 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Joint movement similarities for robust 3D action recognition using skeletal data., , and . J. Vis. Commun. Image Represent., (2015)Software Test Data Generation using Ant Colony Optimization., and . International Conference on Computational Intelligence, page 1-4. International Computational Intelligence Society, (2004)Reformulation of the generation of conformance testing sequences to the asymmetric travelling salesman problem., , , and . GECCO, page 1933-1940. ACM, (2006)Supporting component selection with a suite of classifiers., , and . IEEE Congress on Evolutionary Computation, page 3946-3953. IEEE, (2008)Using XML in Version Management of Chemical Process Models., , and . APWeb, volume 3399 of Lecture Notes in Computer Science, page 643-654. Springer, (2005)Obtaining functional parametric models using active vision strategies., , and . Pattern Recognit., 34 (1): 79-94 (2001)An Approach to Generate the Thin-Threads from the UML Diagrams., , and . COMPSAC, page 546-552. IEEE Computer Society, (2004)A Multimodal Problem for Competitive Coevolution., , , and . Australasian Conference on Artificial Intelligence, volume 7691 of Lecture Notes in Computer Science, page 338-349. Springer, (2012)Towards Automated Test Sequence Generation., , and . Australian Software Engineering Conference, page 441-450. IEEE Computer Society, (2008)A Max-Min Multiobjective Technique to Optimize Model Based Test Suite., and . SNPD, page 569-574. IEEE Computer Society, (2009)