( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Smart Greybox Fuzzing.

, , , , и . CoRR, (2018)

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.

Benny Santosa

Entun Santosa

Sumijati Santosa

Frans Santosa

Henry Santosa

 

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

TRACER: A Symbolic Execution Tool for Verification., , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 758-766. Springer, (2012)Smart Greybox Fuzzing., , , , и . CoRR, (2018)A Coinduction Rule for Entailment of Recursively Defined Properties., , и . CP, том 5202 из Lecture Notes in Computer Science, стр. 493-508. Springer, (2008)Recursive Abstractions for Parameterized Systems., и . FM, том 5850 из Lecture Notes in Computer Science, стр. 72-88. Springer, (2009)ApproxSymate: path sensitive program approximation using symbolic execution., , , и . LCTES, стр. 148-162. ACM, (2019)Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints., , и . AAAI, стр. 297-303. AAAI Press, (2008)Reactive Web Agents with Open Constraint Programming., , , и . ISADS, стр. 251-254. IEEE Computer Society, (2001)Abstraction Learning., , и . ATVA, том 6252 из Lecture Notes in Computer Science, стр. 17. Springer, (2010)A Meeting Scheduling System Based on Open Constraint Programming., и . CAiSE, том 2348 из Lecture Notes in Computer Science, стр. 792-796. Springer, (2002)A CLP Method for Compositional and Intermittent Predicate Abstraction., , и . VMCAI, том 3855 из Lecture Notes in Computer Science, стр. 17-32. Springer, (2006)