( en | de | ru )

 

Disambiguation of "Botella, Bernard"

Author of the publication

copydeleteadd this publication to your clipboard
Goal-oriented test data generation for pointer programs.

, , and . Inf. Softw. Technol., 49 (9-10): 1030-1044 (2007)

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.

Dirk Bernard

Bernard Broermann

Bernard Willkofer

Bernard Andreae

Bernard Schmidtmann

 

Other publications of authors with the same name

Goal-Oriented Test Data Generation for Programs with Pointer Variables., , and . COMPSAC (1), page 449-454. IEEE Computer Society, (2005)Constraint-based test data generation in the presence of stack-directed pointers., , and . ASE, page 313-316. ACM, (2005)Infeasible path generalization in dynamic symbolic execution., , and . Inf. Softw. Technol., (2015)Structural Unit Testing as a Service with PathCrawler-online.com., , , and . SOSE, page 435-440. IEEE Computer Society, (2013)Automated Metamorphic Testing., and . COMPSAC, page 34-40. IEEE Computer Society, (2003)Utilisation des contraintes pour la génération automatique de cas de test structurels., , , , and . Technique et Science Informatiques, 21 (9): 1163-1187 (2002)A CLP Framework for Computing Structural Test Data., , and . Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 399-413. Springer, (2000)Symbolic execution of floating-point computations., , and . Softw. Test. Verification Reliab., 16 (2): 97-121 (2006)Modelling and Simulating Human Behaviours with Conceptual Graphs., , and . ICCS, volume 1257 of Lecture Notes in Computer Science, page 275-289. Springer, (1997)Goal-oriented test data generation for pointer programs., , and . Inf. Softw. Technol., 49 (9-10): 1030-1044 (2007)