( en | de | ru )

 

Disambiguierung von "Rungta, Neha"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A hands-on Java PathFinder tutorial.

, , und . ICSE, Seite 1493-1495. IEEE Computer Society, (2013)

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.

Neha Aggarwal

Neha Narula

Yves-Roger Nehan

Abolghassem Nehawandian

Neha Rani

 

Weitere Publikationen von Autoren mit dem selben Namen

A context-sensitive structural heuristic for guided search model checking., und . ASE, Seite 410-413. ACM, (2005)Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)., , , , , , , , , und 5 andere Autor(en). CoRR, (2024)Hardness for Explicit State Software Model Checking Benchmarks., und . SEFM, Seite 247-256. IEEE Computer Society, (2007)Testing Dafny (experience paper)., , , , und . ISSTA, Seite 556-567. ACM, (2022)Helping system engineers bridge the peaks., , , , , , und . TwinPeaks, Seite 9-13. ACM, (2014)Symbolic execution with mixed concrete-symbolic solving., , und . ISSTA, Seite 34-44. ACM, (2011)Block public access: trust safety verification of access control policies., , , , , , , , , und 4 andere Autor(en). ESEC/SIGSOFT FSE, Seite 281-291. ACM, (2020)Symbolically modeling concurrent MCAPI executions., , und . PPoPP, Seite 307-308. ACM, (2011)An Improved Distance Heuristic Function for Directed Software Model Checking., und . FMCAD, Seite 60-67. IEEE Computer Society, (2006)Symbolic PathFinder: symbolic execution of Java bytecode., und . ASE, Seite 179-180. ACM, (2010)