Sciweavers

12745 search results - page 13 / 2549
» Automating test automation
Sort
View
PTS
2000
58views Hardware» more  PTS 2000»
13 years 9 months ago
Formal Test Automation: The Conference Protocol with PHACT
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
Lex Heerink, Jan Feenstra, Jan Tretmans
FLAIRS
2011
12 years 11 months ago
Internal Usability Testing of Automated Essay Feedback in an Intelligent Writing Tutor
Research on automated essay scoring (AES) indicates that computer-generated essay ratings are comparable to human ratings. However, despite investigations into the accuracy and re...
Rod Roscoe, Laura Varner, Zhiqiang Cai, Jennifer L...
ICST
2008
IEEE
14 years 2 months ago
Automated Session Data Repair for Web Application Regression Testing
This paper introduces an approach to web application regression testing, based upon repair of user session data. The approach is entirely automated. It consists of a white box exa...
Mark Harman, Nadia Alshahwan
ICSE
2011
IEEE-ACM
12 years 11 months ago
A framework for automated testing of javascript web applications
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed a...
Shay Artzi, Julian Dolby, Simon Holm Jensen, Ander...
GECCO
2009
Springer
144views Optimization» more  GECCO 2009»
14 years 2 months ago
Using automated search to generate test data for matlab
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
Sion Ll Rhys, Simon M. Poulding, John A. Clark