Navegar

Colección

Datos Estadísticas

Lista de

Data flow analysis
4
"Dynamics of partially thermalized solutions of the Burgers equation" (2018) Clark Di Leoni, P.; Mininni, P.D.; Brachet, M.E. Physical Review Fluids. 3(1)
"TacoFlow: optimizing SAT program verification using dataflow analysis" (2014) Cuervo Parrino, B.; Galeotti, J.P.; Garbervetsky, D.; Frias, M.F. Software and Systems Modeling. 14(1):45-63
"A dataflow analysis to improve SAT-based bounded program verification" (2011) Cuervo Parrino, B.; Galeotti, J.P.; Garbervetsky, D.; Frias, M.F. 9th International Conference on Software Engineering and Formal Methods, SEFM 2011. 7041 LNCS:138-154
"Using Spanning Sets for Coverage Testing" (2003) Marré, M.; Bertolino, A. IEEE Transactions on Software Engineering. 29(11):974-984