Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification.

J. Galeotti, C. Furia, E. May, G. Fraser, und A. Zeller. Haifa Verification Conference, Volume 8855 von Lecture Notes in Computer Science, Seite 48-53. Springer, (2014)

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.

Juan Pablo Segovia Gutierrez University of Stuttgart

Juan Vargas University of Stuttgart

Pablo Molina Vogelsang University of Stuttgart

Jose Juan Jeronimo Rendon University of Stuttgart

Ph. D. Juan Esteban Martinez Jaramillo University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Extending a search-based test generator with adaptive dynamic symbolic execution.J. Galeotti, G. Fraser, und A. Arcuri. ISSTA, Seite 421-424. ACM, (2014)Automated unit test generation for classes with environment dependencies.A. Arcuri, G. Fraser, und J. Galeotti. ASE, Seite 79-90. ACM, (2014)Generating Unit Tests with Structured System Interactions.N. Havrikov, A. Gambi, A. Zeller, A. Arcuri, und J. Galeotti. AST@ICSE, Seite 30-33. IEEE Computer Society, (2017)Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten.A. Arcuri, G. Fraser, und J. Galeotti. Software Engineering & Management, Volume P-239 von LNI, Seite 132. GI, (2015)DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour.G. Regis, C. Cornejo, S. Brida, M. Politano, F. Raverta, P. Ponzio, N. Aguirre, J. Galeotti, und M. Frias. ESEC/SIGSOFT FSE, Seite 969-973. ACM, (2017)On Verifying Resource Contracts using Code Contracts.R. Castaño, J. Galeotti, D. Garbervetsky, J. Tapicer, und E. Zoppi. LAFM, Volume 139 von EPTCS, Seite 1-15. (2013)10th International Workshop on Search-Based Software Testing (SBST 2017).J. Galeotti, und J. Petke. SBST@ICSE, Seite 1. IEEE, (2017)Improving search-based test suite generation with dynamic symbolic execution.J. Galeotti, G. Fraser, und A. Arcuri. ISSRE, Seite 360-369. IEEE Computer Society, (2013)How Do Automatically Generated Unit Tests Influence Software Maintenance?S. Shamshiri, J. Rojas, J. Galeotti, N. Walkinshaw, und G. Fraser. ICST, Seite 250-261. IEEE Computer Society, (2018)Generating TCP/UDP network data for automated unit test generation.A. Arcuri, G. Fraser, und J. Galeotti. ESEC/SIGSOFT FSE, Seite 155-165. ACM, (2015)