Browse wiki

From CERES
Jump to: navigation, search
Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer
Abstract <p>We report on our experience with <p>We report on our experience with model-based testing using SpecExplorer within the Flat X-Ray Detection (FXD) Department of Philips Healthcare. Our initial experiments showed a practical obstacle in combining traditional functional testing techniques with model-based testing using SpecExplorer. We overcome this obstacle by specifying the constraints on our data domain in a spreadsheet and interfacing SpecExplorer with a constraint solver in order to generate concrete test data for the behavioral specifications. We report on some empirical results obtained from our experiments. © 2012 IEEE.</p>om our experiments. © 2012 IEEE.</p>
Author Vivek Vishal + , Mehmet Kovacioglu + , Rachid Kherazi + , Mohammad Reza Mousavi +
Conference 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012, Dallas, TX, USA, 27-30 November 2012; Category numberE4928; Code95287
DOI http://dx.doi.org/10.1109/ISSREW.2012.88  +
Diva http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583416
EndPage 224  +
HostPublication Proceedings of the 4th Workshop on Model-based Testing in Practice (MoTiP 2012)  +
PublicationType Conference Paper  +
Publisher IEEE Press  +
StartPage 219  +
Title Integrating Model-Based and Constraint-Based Testing Using SpecExplorer  +
Year 2012  +
Has queryThis property is a special property in this wiki. Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer + , Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer + , Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer + , Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer + , Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer + , Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer + , Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer + , Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer + , Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer + , Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 26 June 2014 03:43:51  +
show properties that link here 

 

Enter the name of the page to start browsing from.