Search Sciweavers | Sciweavers

451 search results - page 3 / 91

» Engineering Abstractions in Model Checking and Testing

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

13 years 12 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

click to vote

CIBSE
2008
ACM

119views Software Engineering» more CIBSE 2008»

Using Refinement Checking as System Testing

13 years 9 months ago

Download www.iist.unu.edu

Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...

Cristiano Bertolini, Alexandre Mota

claim paper

Read More »

click to vote

KBSE
2008
IEEE

125views Software Engineering» more KBSE 2008»

Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker

14 years 2 months ago

Download pswlab.kaist.ac.kr

Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that ﬂash memory b...

Moonzoo Kim, Yunho Kim, Hotae Kim

claim paper

Read More »

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

13 years 11 months ago