( en | de | ru )

 

Disambiguierung von "Pasareanu, Corina S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.

, , , , , , und . ISSTA, Seite 15-26. ACM, (2008)

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.

Corina Rehwagen

Corina Schmidt

Corina Noack

Corina Stock

Corina Sargk

 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic Execution and Software Testing.. Engineering Dependable Software Systems, Volume 34 von NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2013)Verification of Java Programs Using Symbolic Execution and Invariant Generation., und . SPIN, Volume 2989 von Lecture Notes in Computer Science, Seite 164-181. Springer, (2004)Test input generation for red-black trees using abstraction., , und . ASE, Seite 414-417. ACM, (2005)Learning Techniques for Software Verification and Validation., und . ISoLA (1), Volume 7609 von Lecture Notes in Computer Science, Seite 505-507. Springer, (2012)Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement., , , und . CAV (1), Volume 9779 von Lecture Notes in Computer Science, Seite 329-351. Springer, (2016)Finding Feasible Counter-examples when Model Checking Abstracted Java Programs., , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 284-298. Springer, (2001)Symbolic Complexity Analysis Using Context-Preserving Histories., , und . ICST, Seite 58-68. IEEE Computer Society, (2017)Property Inference for Deep Neural Networks., , , und . ASE, Seite 797-809. IEEE, (2019)Rule-Based Testing of Neural Networks., , , und . SE4SafeML@SIGSOFT FSE, Seite 1-5. ACM, (2023)Automated Circular Assume-Guarantee Reasoning., , , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 23-39. Springer, (2015)