1890 search results - page 75 / 378 » Model-Based Testing in Practice |
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
In this work a method to improve the loopback test used in RF analog circuits is described. The approach is targeted to the SoC environment, being able to reuse system resources i...
ITICSE
2003
ACM
15 years 5 months ago
2003
ACM
In this paper we argue that treating “testing” as an isolated topic is a wrong approach in computer science and software engineering teaching. Instead testing should pervade p...
FATES
2003
Springer
15 years 5 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
SIGDOC
2000
ACM
15 years 4 months ago
2000
ACM
∗ This paper introduces low-tech simulation as a technique for testing procedures and their documentation. The key idea is to test the interface-procedure-documentation set in th...
102
click to vote
ANSS
2001
IEEE
15 years 3 months ago
2001
IEEE
In this paper, we employ the finite state machine (FSM) model for networks to investigate fault identification using passive testing. First, we introduce the concept of passive te...