TAP 2008 - PDF Preprint Papers

TAP 2008 International Conference on Tests and Proofs

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed TAP-2008 Paper

click to vote

TAP
2008
Springer

153views Hardware» more TAP 2008»

Bounded Relational Analysis of Free Data Types

13 years 11 months ago

Download www.informatik.uni-augsburg.de

Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	153	Bounded Relational Analysis of Free Data Types	claim
2	144	Integrating Verification and Testing of Object-Oriented Software	claim
3	110	Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model	claim
4	107	Evaluation of methods for approximating shapes used to synthesize 3D solid textures	claim
5	102	Functional Testing in the Focal Environment	claim
6	102	A Logic-Based Approach to Combinatorial Testing with Constraints	claim
7	102	Visualizing graphs in three dimensions	claim
8	101	A gaze-based study for investigating the perception of visual realism in simulated scenes	claim
9	96	Evaluating the perceptual realism of animated facial expressions	claim
10	94	Vacuity in Testing	claim
11	93	Pex-White Box Test Generation for .NET	claim
12	89	Applying computational tools to predict gaze direction in interactive visual environments	claim
13	82	Distinctiveness of faces: A computational approach	claim
14	77	Perceptual dependencies in information visualization assessed by complex visual search	claim
15	75	A tone-mapping operator for road visibility experiments	claim
16	75	Data density and trend reversals in auditory graphs: Effects on point-estimation and trend-identification tasks	claim
17	72	Enhancing air traffic displays via perceptual cues	claim
18	68	Identifying faces across variations in lighting: Psychophysics and computation	claim
19	64	Perceptual evaluation of tone-reproduction operators using the Cornsweet--Craik--O'Brien illusion	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers