Old Web
English
Sign In
Acemap
>
authorDetail
>
Santiago Perez De Rosso
Santiago Perez De Rosso
Computer science
Theoretical computer science
Java
Soundness
Completeness (statistics)
3
Papers
8
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.
2019
arXiv: Software Engineering
Luciano Zemín
Simón Gutiérrez Brida
Santiago Bermúdez
Santiago Perez De Rosso
Nazareno Aguirre
Ali Mili
Ali Jaoua
Marcelo F. Frias
Show All
Source
Cite
Save
Citations (1)
Purposes, concepts, misfits, and a redesign of git
2016
Santiago Perez De Rosso
Daniel Jackson
Show All
Source
Cite
Save
Citations (0)
Parallel bounded analysis in code with rich invariants by refinement of field bounds
2013
ISSTA | International Symposium on Software Testing and Analysis
Nicolás Rosner
Juan Pablo Galeotti
Santiago Bermúdez
Guido Marucci Blas
Santiago Perez De Rosso
Lucas Pizzagalli
Luciano Zemín
Marcelo F. Frias
Show All
Source
Cite
Save
Citations (7)
1