Publications

Export 13 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Juan Pablo Galeotti  [Clear All Filters]
Conference Paper
A. Arcuri, G. Fraser, and J. P. Galeotti, “Automated Unit Test Generation for Classes with Environment Dependencies”, in Proceedings of the 2014 International Conference on Automated Software Engineering (ASE), 2014.PDF icon arcuri-ase-2014.pdf (280.35 KB)
P. Bendersky, J. P. Galeotti, and D. Garbervetsky, “The DynAlloy Visualizer”, in Proceedings First Latin American Workshop on Formal Methods, {LAFM} 2013, Buenos Aires, Argentina, August 26th 2013., 2014.
P. Bendersky, J. P. Galeotti, and D. Garbervetsky, “The DynAlloy Visualizer”, in 1st Latin American Workshop on Formal Methods (LAFM 2013), co-located with Concur’13, 2013.
P. Bendersky, J. P. Galeotti, and D. Garbervetsky, “The DynAlloy Visualizer”, in {\rm Proceedings First} Latin American Workshop on Formal Methods, {\rm Buenos Aires, Argentina, August 26th 2013}, 2014.
J. P. Galeotti, G. Fraser, and A. Arcuri, “Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution”, in Proceedings of the 2014 International Symposium on Software Testing and Analysis, 2014.PDF icon galeotti-issta-2014-2.pdf (379.45 KB)
J. P. Galeotti, G. Fraser, and A. Arcuri, “Improving search-based test suite generation with dynamic symbolic execution”, in {IEEE} 24th International Symposium on Software Reliability Engineering, {ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013, 2013.
P. Abad, et al., “Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving”, in IEEE Sixth International Conference on Software Testing, Verification and Validation ICST 2013, Luxembourg, 2013.PDF icon icst2013.pdf (285.71 KB)
A. Kampmann, J. P. Galeotti, and A. Zeller, “JTACO: Test Execution for Faster Bounded Verification”, in TAP 2014: Proceedings of the 8th International Conference on Tests and Proofs, 2014.PDF icon kampmann-tap-2014.pdf (297.61 KB)
R. Castaño, J. P. Galeotti, D. Garbervetsky, J. Tapicer, and E. Zoppi, “On verifying resource contracts using Code Contracts”, in 1st Latin American Workshop on Formal Methods (LAFM 2013), co-located with Concur’13, 2013.PDF icon 1401.0968v1.pdf (380.35 KB)
R. Castaño, J. P. Galeotti, D. Garbervetsky, J. Tapicer, and E. Zoppi, “On Verifying Resource Contracts using Code Contracts”, in Proceedings First Latin American Workshop on Formal Methods, {LAFM} 2013, Buenos Aires, Argentina, August 26th 2013., 2014.