✦ LIBER ✦

Using static analysis to improve automatic test generation

✍ Scribed by Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu

Publisher: Springer
Year: 2003
Tongue: English
Weight: 260 KB
Volume: 4
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-002-0098-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic CoDec generation to reduce tes

Automatic CoDec generation to reduce test engineering cost

✍ Ariel Sabiguero; Anthony Baire; César Viho 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 582 KB

Automatic analysis of tolerance test eff

Automatic analysis of tolerance test efficiency using programmable microcalculators

✍ I. D. Fridman 📂 Article 📅 1985 🏛 Springer US 🌐 English ⚖ 365 KB

Using a simple shape measure to improve

Using a simple shape measure to improve automatic 3D reconstruction

✍ Peter G Selfridge 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 483 KB

Gain/phase margin improvement using stat

Gain/phase margin improvement using static generalized sampled-data hold functions

✍ Mauro Rossi; Daniel E. Miller 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 167 KB

This paper considers the robust control of a ÿnite-dimensional linear time-invariant (FDLTI) continuous-time plant by a static generalized sampled-data hold function (GSHF) controller. It is shown that it is possible to design a static GSHF controller to provide a gain margin as large as desired, an

Improved method to generate path-wise te

Improved method to generate path-wise test data

✍ JinHui Shan; Ji Wang; ZhiChang Qi; JianPing Wu 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 510 KB

The application of automatic image analy

The application of automatic image analysis to non-destructive testing

✍ W.E. Gardner 📂 Article 📅 1974 🏛 Elsevier Science ⚖ 378 KB