( en | de | ru )

 

Disambiguierung von "Santosa, Andrew E."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Out of sight, out of mind? How vulnerable dependencies affect open-source projects.

, , , , , , und . Empir. Softw. Eng., 26 (4): 59 (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Benny Santosa

Entun Santosa

Sumijati Santosa

Frans Santosa

Henry Santosa

 

Weitere Publikationen von Autoren mit dem selben Namen

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