Search Sciweavers | Sciweavers

2302 search results - page 2 / 461

» Testing as Abstraction

191

click to vote

LICS
2002
IEEE

151views Automated Reasoning» more LICS 2002»

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

15 years 10 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 »

164

Voted

TC
1998

158views Information Technology» more TC 1998»

Abstraction Techniques for Validation Coverage Analysis and Test Generation

15 years 5 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 »

120

Voted

APSEC
2009
IEEE

126views Software Engineering» more APSEC 2009»

Test Coverage Metric for Two-Staged Language with Abstract Interpretation

16 years 11 days ago

Download rosaec.snu.ac.kr

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

claim paper