Search Sciweavers | Sciweavers

41

WISES
2003

193views Embedded Systems» more WISES 2003»

Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Ap

13 years 9 months ago

Download www.vmars.tuwien.ac.at

— Testing and veriﬁcation are important methods for gaining conﬁdence in the reliability of a software product. Keeping this conﬁdence up is especially difﬁcult for softw...

Stefan Pitzek, Peter P. Puschner

claim paper

Read More »

27

click to vote

ECBS
2010
IEEE

200views Hardware» more ECBS 2010»

Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces

13 years 5 months ago

Download deploy-eprints.ecs.soton.ac.uk

Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...

Sebastian Wieczorek, Alin Stefanescu

claim paper

Read More »

23

click to vote

FORTE
2004

100views Formal Methods» more FORTE 2004»

Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing

13 years 9 months ago

Download fmt.isti.cnr.it

Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...

Antonio Bucchiarone, Henry Muccini, Patrizio Pelli...

claim paper

Read More »

30

click to vote

ICST
2010
IEEE

195views Software Engineering» more ICST 2010»

Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach

13 years 5 months ago

Download www.lsi.us.es

A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...

Sergio Segura, Robert M. Hierons, David Benavides,...

claim paper

Read More »

25

click to vote

ISPW
2008
IEEE

118views Software Engineering» more ISPW 2008»

Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach

14 years 2 months ago