Sciweavers

259 search results - page 14 / 52
» Using a Goal-Driven Approach to Generate Test Cases for GUIs
Sort
View
TRIDENTCOM
2008
IEEE
14 years 3 months ago
A case study in testing a network security algorithm
Several difficulties arise when testing network security algorithms. First, using network data captured at a router does not guarantee that any instances of the security event of...
Carrie Gates
ECOOP
2006
Springer
14 years 9 days ago
Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
Tao Xie
FATES
2003
Springer
14 years 1 months ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang
HCI
2009
13 years 6 months ago
Using Activity Descriptions to Generate User Interfaces for ERP Software
Delivering tailor-made ERP software requires automation of screen and printed report creation to be cost effective. Screens generated directly from data structures tend to have poo...
Timothy O'Hear, Yassin Boudjenane
ICST
2009
IEEE
14 years 3 months ago
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
Christian Murphy, Kuang Shen, Gail E. Kaiser