Enabling the Adoption of Aspects – Testing Aspects: A Risk Model, Fault Model and Patterns
Nikhil Kumar
Applied Technology Solutions, Canada
Dinakar Sosale
Applied Technology Solutions, Canada
Sadhana Nivedita Konuganti
Applied Technology Solutions, Canada
Ajay Rathi
Applied Technology Solutions, Canada
Modelling Hardware Verification Concerns Specified in the e Language: An Experience Report
Darren Galpin
Infineon Technologies, UK
Cormac Driver
Trinity College Dublin, Ireland
Siobhán Clarke
Trinity College Dublin, Ireland
Aspect-Oriented Programming with Hidden Markov Models to Verify Design Use Cases
German Florez-Larrahondo
Verari Systems, Inc., USA
Walker Haddock
Verari Systems, Inc., USA