𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Towards a framework and a benchmark for testing tools for multi-threaded programs

✍ Scribed by Yaniv Eytani; Klaus Havelund; Scott D. Stoller; Shmuel Ur

Publisher
John Wiley and Sons
Year
2007
Tongue
English
Weight
216 KB
Volume
19
Category
Article
ISSN
1532-0626

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Framework for testing multi-threaded Jav
Framework for testing multi-threaded Java programs
✍ Orit Edelstein; Eitan Farchi; Evgeny Goldin; Yarden Nir; Gil Ratsaby; Shmuel Ur πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 162 KB
ClassBench: a Framework for Automated Cl
ClassBench: a Framework for Automated Class Testing
✍ DANIEL HOFFMAN; PAUL STROOPER πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 183 KB

In contrast to the explosion of activity in object-oriented design and programming, little attention has been given to object testing. We present a novel approach to automated testing designed especially for collection classes. In the ClassBench methodology, a testgraph partially models the states a

Benchmarking performance in the irrigati
Benchmarking performance in the irrigation and drainage sector: a tool for change
✍ Hector Malano; Martin Burton; Ian Makin πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 259 KB

## Abstract With increasing pressure on available water resources, irrigation systems in many countries are having to find ways to improve performance. As often the main consumptive user, irrigation systems are having to release water for other uses and to produce β€œmore crop per drop”. Benchmarking

A framework for testing meso-mediational
A framework for testing meso-mediational relationships in Organizational Behavior
✍ John E. Mathieu; Scott R. Taylor πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 339 KB

## Abstract We advance a framework for testing mediational relationships that traverse levels of analysis. We differentiate mediation that functions within levels, as well as different forms of meso‐mediation that operate downward across levels of analysis. We discuss the preconditions and evidenti