Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings

Synthesizing Test Models from Test Cases

The SBSE Approach to Automated Optimization of Verification and Testing

The aim of Search Based Software Engineering (SBSE) research is to provide automated optimization for activities right across the Software Engineering spectrum using a variety of techniques from the metaheuristic search, operations research and evolutionary computation paradigms. The SBSE approach has recently generated a great deal of interest, particularly in the field of Software Testing. Th...

vlogsl: A Strategy Language for Simulation-Based Verification of Hardware

Swedish School of Economics and Business Administration the Yrjö Jahnsson Working Paper Series in Industrial Economics

This paper investigates the recently-practiced method of taxing hardware and transferring the proceeds to software makers, or artists in general. We demonstrate that this policy of compensating copyright owners for infringements on their intellectual property using hardware taxation is inefficient. Presented at the conference “Competition Strategies and Competition Policy in the Information Eco...