Author of the publication

A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.

, , , , , and . NASA Formal Methods, volume NASA/CP-2009-215407 of NASA Conference Proceedings, page 56-65. (2009)

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

A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing., , , , , and . NASA Formal Methods, volume NASA/CP-2009-215407 of NASA Conference Proceedings, page 56-65. (2009)An integrated semantics for reasoning about SysML design models using refinement., , , , , , , , and . Softw. Syst. Model., 16 (3): 875-902 (2017)Test case generation, selection and coverage from natural language., , , , and . Sci. Comput. Program., (2019)RFNIT: Robotic Framework for Non-invasive Testing., , and . SIGSOFT FSE Companion, page 667-668. ACM, (2024)Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)., and . Sci. Comput. Program., (2015)Combining model finder and genetic programming into a general purpose automatic program synthesizer., , and . Inf. Process. Lett., (2020)Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper)., , , , , , , , , and 3 other author(s). SEFM, volume 10469 of Lecture Notes in Computer Science, page 388-393. Springer, (2017)The effect of distance metrics in a general purpose synthesizer of imperative programs: A second empirical study using enlarged search spaces., , and . Softw. Pract. Exp., 54 (3): 528-540 (March 2024)The effect of distance metrics in a general purpose synthesizer: An empirical study on integer domain imperative programs., , and . Softw. Pract. Exp., 52 (5): 1294-1304 (2022)Behavioural Preservation in Fault Tolerant Patterns., and . SBMF, volume 7021 of Lecture Notes in Computer Science, page 156-171. Springer, (2011)