Sciweavers

3527 search results - page 70 / 706
» Test Automation in Practice
Sort
View
ENTCS
2007
116views more  ENTCS 2007»
14 years 9 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
SOFSEM
2007
Springer
15 years 4 months ago
Automatic Testing of Object-Oriented Software
Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. T...
Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lis...
CMS
2006
170views Communications» more  CMS 2006»
14 years 11 months ago
Enhanced CAPTCHAs: Using Animation to Tell Humans and Computers Apart
Abstract. Completely Automated Public Turing Test to tell Computers and Humans Apart (CAPTCHA) is a
Elias Athanasopoulos, Spyros Antonatos
EDM
2010
154views Data Mining» more  EDM 2010»
14 years 8 months ago
Can We Get Better Assessment From A Tutoring System Compared to Traditional Paper Testing? Can We Have Our Cake (Better Assessme
Dynamic assessment (DA) has been advocated as an interactive approach to conduct assessments to students in the learning systems as it can differentiate student proficiency at a fi...
Mingyu Feng, Neil T. Heffernan
DLOG
2007
15 years 6 days ago
Automated Evaluation of Description Logic Reasoning Systems
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
Sebastian Wandelt