«

»

Towards the use of slicing techniques for an efficient invariant checking

by Wuliang Sun, Benoît Combemale, Robert B. France
Reference:
Towards the use of slicing techniques for an efficient invariant checking (Wuliang Sun, Benoît Combemale, Robert B. France), In Companion Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 – 19, 2015 (best poster award) (Robert B. France, Sudipto Ghosh, Gary T. Leavens, eds.), ACM, 2015.
Bibtex Entry:
@inproceedings{DBLP:conf/aosd/SunCF15,
	Author = {Wuliang Sun and Beno{^{i}}t Combemale and Robert B. France},
	Booktitle = {Companion Proceedings of the 14th International Conference on Modularity, {MODULARITY} 2015, Fort Collins, CO, USA, March 16 - 19, 2015 (best poster award)},
	Doi = {10.1145/2735386.2735926},
	Editor = {Robert B. France and Sudipto Ghosh and Gary T. Leavens},
	Pages = {23--24},
	Publisher = {{ACM}},
	Title = {Towards the use of slicing techniques for an efficient invariant checking},
	Url = {http://doi.acm.org/10.1145/2735386.2735926},
	Year = {2015},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/2735386.2735926},
	Bdsk-Url-2 = {http://dx.doi.org/10.1145/2735386.2735926}}