3031 search results - page 66 / 607 » Model Driven Testing Based on Test History |
124
Voted
ICSEA
2007
IEEE
15 years 7 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
115
Voted
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
We consider the problem of selecting a subset of p out of n sensors for the purpose of event detection, in a wireless sensor network (WSN). Occurrence or not of the event of intere...
CHARME
2003
Springer
15 years 5 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
136
click to vote
EDOC
2005
IEEE
15 years 6 months ago
2005
IEEE
Data Warehouse (DWH) information is accessed by business processes, and sometimes may also initiate changes of the control flow of business process instances. Today, there are no ...
99
Voted
TAP
2007
Springer
15 years 6 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...