We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
— This paper describes a research experiment carried out at the University of Catania, aiming at testing and evaluating the applicability of the Erlang language in programming mu...
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...
The viability of implementing an in-memory database, Erlang ETS, using a relatively-new data structure, called a Judy array, was studied by comparing the performance of ETS tables...
The custom testability strategy of the Alpha 21364, Hewlett-Packard’s most recent Alpha microprocessor, builds upon its Alpha 21264 embedded core. Several additional DFT feature...
Scott Erlanger, Dilip K. Bhavsar, Richard A. Davie...