Parallel bounded analysis in code with rich invariants by refinement of field bounds
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Nicolás Rosner, Juan P. Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, Marcelo F. Frias
Parallel bounded analysis in code with rich invariants by refinement of field bounds
ISSTA, 2013.

ISSTA 2013
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ISSTA-2013-RosnerGBBRPZF,
	author        = "Nicolás Rosner and Juan P. Galeotti and Santiago Bermúdez and Guido Marucci Blas and Santiago Perez De Rosso and Lucas Pizzagalli and Luciano Zemín and Marcelo F. Frias",
	booktitle     = "{Proceedings of the 22nd International Symposium on Software Testing and Analysis}",
	doi           = "10.1145/2483760.2483770",
	isbn          = "978-1-4503-2159-4",
	pages         = "23--33",
	publisher     = "{ACM}",
	title         = "{Parallel bounded analysis in code with rich invariants by refinement of field bounds}",
	year          = 2013,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.