Abstract
We describe a case study to transfer a specificationbased testing system from research to practice. We did the case study in two steps: first we conducted a feasibility study in a laboratory setting to estimate the potential costs and benefits of using the system. Next we conducted a usability study in an industrial setting to determine whether it would be effective in practice. Our focus in the laboratory was on the basic technology; our focus in the industrial setting has necessarily been on customizing that technology for a specific application. The feasibility study gave us a cost-effective way to identify general, context-independent issues, while the later industrial experience revealed specific, context-dependent obstacles to the use of our technology.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
