BibTeX record conf/issta/RosnerGBBRPZF13

• > Home > conf/issta/RosnerGBBRPZF13

@inproceedings{DBLP:conf/issta/RosnerGBBRPZF13,
  author       = {Nicol{\'{a}}s Rosner and
                  Juan P. Galeotti and
                  Santiago Berm{\'{u}}dez and
                  Guido Marucci Blas and
                  Santiago Perez De Rosso and
                  Lucas Pizzagalli and
                  Luciano Zem{\'{\i}}n and
                  Marcelo F. Frias},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Parallel bounded analysis in code with rich invariants by refinement
                  of field bounds},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {23--33},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483770},
  doi          = {10.1145/2483760.2483770},
  timestamp    = {Sun, 02 Oct 2022 16:10:12 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/RosnerGBBRPZF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}