Sciweavers

4930 search results - page 28 / 986
» Testing a Safety-Critical Application
Sort
View
ICSE
2003
IEEE-ACM
15 years 11 months ago
Demonstration of AGENDA Tool Set for Testing Relational Database Applications
Database systems play an important role in nearly every modern organization, yet relatively little research effort has focused on how to test them. AGENDA, A (test) GENerator for ...
David Chays, Yuetang Deng
ICWE
2005
Springer
15 years 5 months ago
Evaluating Current Testing Processes of Web-Portal Applications
: Web-portal application development needs to be improved by comprehensive testing processes and practices. Building the initial knowledge by evaluating and improving the state of ...
Harpreet Bajwa, Wenliang Xiong, Frank Maurer
ERLANG
2003
ACM
15 years 4 months ago
Automated test generation for industrial Erlang applications
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
Johan Blom, Bengt Jonsson
ISSTA
2009
ACM
15 years 6 months ago
Automatic system testing of programs without test oracles
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
Christian Murphy, Kuang Shen, Gail E. Kaiser
KBSE
2008
IEEE
15 years 5 months ago
An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
David A. Turner, Moonju Park, Jaehwan Kim, Jinseok...