Search Sciweavers | Sciweavers

2302 search results - page 2 / 461

» Testing as Abstraction

click to vote

LICS
2002
IEEE

151views Automated Reasoning» more LICS 2002»

Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing

13 years 11 months ago

Download sylvain.berbiqui.org

istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...

Sophie Laplante, Richard Lassaigne, Fréd&ea...

claim paper

Read More »

click to vote

TC
1998

158views Information Technology» more TC 1998»

Abstraction Techniques for Validation Coverage Analysis and Test Generation

13 years 6 months ago

Download cadal.cse.nsysu.edu.tw

ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...

Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Ho...

claim paper

Read More »

click to vote

APSEC
2009
IEEE

126views Software Engineering» more APSEC 2009»

Test Coverage Metric for Two-Staged Language with Abstract Interpretation

14 years 1 months ago

Download rosaec.snu.ac.kr

Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik,...

claim paper

Read More »