( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.

, , , , , и . NASA Formal Methods, том NASA/CP-2009-215407 из NASA Conference Proceedings, стр. 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.

Juliano Schimiguel

Juliano Sarmento Cabral

Juliano Sarmento Cabral

Juliano Sarmento Cabral

Juliano Sarmento Cabral

 

Другие публикации лиц с тем же именем

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