6800 search results - page 99 / 1360 » Testing with Functions as Specifications |
BMAS
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
ECOOP
1995
Springer
13 years 11 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
ICSE
1994
IEEE-ACM
14 years 2 days ago
1994
IEEE-ACM
This paper describes a system called TESTTUBE that combines static and dynamic analysis to perform selective retesting of software systems written in C. TESTTUBEfirst identifies w...
IWSSD
2000
IEEE
14 years 11 days ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
3DPH
2009
13 years 9 months ago
2009
We present a nearly automatic graph-based segmentation method for patient specific modeling of the aortic arch and carotid arteries from CTA scans for interventional radiology simu...