Sciweavers

12745 search results - page 165 / 2549
» Automating test automation
Sort
View
163
Voted
ECBS
2010
IEEE
200views Hardware» more  ECBS 2010»
15 years 3 months ago
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces
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
ACMSE
2006
ACM
15 years 11 months ago
Using genetic algorithms to generate test plans for functionality testing
Like in other fields, computer products (applications, hardware, etc.), before being marketed, require some level of testing to verify whether they meet their design and function...
Francisca Emanuelle Vieira, Francisco Martins, Raf...
ASE
2004
148views more  ASE 2004»
15 years 4 months ago
TestEra: Specification-Based Testing of Java Programs Using SAT
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
Sarfraz Khurshid, Darko Marinov
ENTCS
2007
116views more  ENTCS 2007»
15 years 5 months ago
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa
112
Voted
COMPSAC
2003
IEEE
15 years 10 months ago
BINTEST - Binary Search-based Test Case Generation
One of the important tasks during software testing is the generation of test cases. Various approaches have been proposed to automate this task. The approaches available, however,...
Sami Beydeda, Volker Gruhn