1407 search results - page 48 / 282 » Using Use Cases in Executable Z |
117
Voted
ISESE
2005
IEEE
15 years 8 months ago
2005
IEEE
Exploratory testing (ET) – simultaneous learning, test design, and test execution – is an applied practice in industry but lacks research. We present the current knowledge of ...
113
click to vote
ISMB
1993
15 years 3 months ago
1993
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...
139
Voted
CASES
2003
ACM
15 years 7 months ago
2003
ACM
Dynamic software optimization methods are becoming increasingly popular for improving software performance and power. The first step in dynamic optimization consists of detecting ...
151
Voted
CASES
2011
ACM
14 years 2 months ago
2011
ACM
Cost pressure is driving vendors of safety-critical systems to integrate previously distributed systems. One natural approach we have previous introduced is On-Demand Redundancy (...
141
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...