Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
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, and A. Zeller. Haifa Verification Conference, volume 8855 of Lecture Notes in Computer Science, page 48-53. Springer, (2014)

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. You can also use the button next to the name to display some publications already assigned to the person.

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

Other publications of authors with the same name

Extending a search-based test generator with adaptive dynamic symbolic execution.J. Galeotti, G. Fraser, and A. Arcuri. ISSTA, page 421-424. ACM, (2014)Automated unit test generation for classes with environment dependencies.A. Arcuri, G. Fraser, and J. Galeotti. ASE, page 79-90. ACM, (2014)Generating Unit Tests with Structured System Interactions.N. Havrikov, A. Gambi, A. Zeller, A. Arcuri, and J. Galeotti. AST@ICSE, page 30-33. IEEE Computer Society, (2017)Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten.A. Arcuri, G. Fraser, and J. Galeotti. Software Engineering & Management, volume P-239 of LNI, page 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, and M. Frias. ESEC/SIGSOFT FSE, page 969-973. ACM, (2017)On Verifying Resource Contracts using Code Contracts.R. Castaño, J. Galeotti, D. Garbervetsky, J. Tapicer, and E. Zoppi. LAFM, volume 139 of EPTCS, page 1-15. (2013)Practical JFSL verification using TACO.M. Chicote, D. Ciolek, and J. Galeotti. Softw., Pract. Exper., 44 (3): 317-334 (2014)Generating TCP/UDP network data for automated unit test generation.A. Arcuri, G. Fraser, and J. Galeotti. ESEC/SIGSOFT FSE, page 155-165. ACM, (2015)JTACO: Test Execution for Faster Bounded Verification.A. Kampmann, J. Galeotti, and A. Zeller. TAP, volume 8570 of Lecture Notes in Computer Science, page 134-141. Springer, (2014)DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification.J. Galeotti, C. Furia, E. May, G. Fraser, and A. Zeller. Haifa Verification Conference, volume 8855 of Lecture Notes in Computer Science, page 48-53. Springer, (2014)