View Graphs for Analysis and Testing of Programs at Different Abstraction Levels

Heidelberg, Germany October 12-October 14

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/HASE.2005.27

Ninth IEEE International Symposium on ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Stefan Gossens Articles by Fevzi Belli Articles by Sami Beydeda Articles by Mario Dal Cin

	ASCII Text	x
	Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin, "View Graphs for Analysis and Testing of Programs at Different Abstraction Levels," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 121-130, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), 2005.

	BibTex	x
	@article{ 10.1109/HASE.2005.27, author = {Stefan Gossens and Fevzi Belli and Sami Beydeda and Mario Dal Cin}, title = {View Graphs for Analysis and Testing of Programs at Different Abstraction Levels}, journal ={High-Assurance Systems Engineering, IEEE International Symposium on}, volume = {0}, year = {2005}, issn = {1530-2059}, pages = {121-130}, doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2005.27}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - High-Assurance Systems Engineering, IEEE International Symposium on TI - View Graphs for Analysis and Testing of Programs at Different Abstraction Levels SN - 1530-2059 SP121 EP130 A1 - Stefan Gossens, A1 - Fevzi Belli, A1 - Sami Beydeda, A1 - Mario Dal Cin, PY - 2005 KW - null VL - 0 JA - High-Assurance Systems Engineering, IEEE International Symposium on ER -

Stefan Gossens, Framatome ANP GmbH

Fevzi Belli, University of Paderborn

Sami Beydeda, Bundesamt f?r Finanzen

Mario Dal Cin, University Erlangen-Nuremberg

This paper introduces view graphs, which allow representation of source code for program analysis and testing at different levels of abstraction. At a low level of abstraction, view graphs can be used for white-box analysis and testing, and at a high level of abstraction, they can be used for black-box analysis and testing. View graphs are thus an approach to integrate black-box and white-box techniques.

Citation:

Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin, "View Graphs for Analysis and Testing of Programs at Different Abstraction Levels," hase, pp.121-130, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), 2005

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.