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

H
HASE
2005
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
Abstract - View Graphs for Analysis and Testing of Programs at Different Abstraction Levels

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	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

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)

Heidelberg, Germany

October 12-October 14

ISBN: 0-7695-2377-3

	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

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

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.