120 search results - page 12 / 24 » Property Oriented Test Case Generation |
IFL
2007
Springer
14 years 26 days ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
DSRT
2008
IEEE
13 years 8 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
ASPLOS
2012
ACM
12 years 2 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
ISCIS
2004
Springer
14 years 2 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
METRICS
2003
IEEE
13 years 12 months ago
2003
IEEE
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...