Generating event sequence-based test cases using GUI runtime state feedback
This paper presents a fully automatic model-driven technique to generate test cases for
graphical user interfaces (GUIs)-based applications. The technique uses feedback from the …
graphical user interfaces (GUIs)-based applications. The technique uses feedback from the …
Generating test data for branch coverage
Branch coverage is an important criteria used during the structural testing of programs. We
present a new program execution based approach to generate input data that exercises a …
present a new program execution based approach to generate input data that exercises a …
Efficient path conditions in dependence graphs for software safety analysis
G Snelting, T Robschink, J Krinke - ACM Transactions on Software …, 2006 - dl.acm.org
A new method for software safety analysis is presented which uses program slicing and
constraint solving to construct and analyze path conditions, conditions defined on a …
constraint solving to construct and analyze path conditions, conditions defined on a …
A framework for testing database applications
D Chays, S Dan, PG Frankl, FI Vokolos… - Proceedings of the 2000 …, 2000 - dl.acm.org
Database systems play an important role in nearly every modern organization, yet relatively
little research effort has focused on how to test them. This paper discusses issues arising in …
little research effort has focused on how to test them. This paper discusses issues arising in …
An AGENDA 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. This paper discusses issues arising in …
little research effort has focused on how to test them. This paper discusses issues arising in …
Test cases generation from UML activity diagrams
UML activity diagram is a notation suitable for modeling a concurrent system in which
multiple objects interact with each other. This paper proposes a method to generate test …
multiple objects interact with each other. This paper proposes a method to generate test …
Genetic algorithms for randomized unit testing
JH Andrews, T Menzies, FCH Li - Ieee transactions on software …, 2011 - ieeexplore.ieee.org
Randomized testing is an effective method for testing software units. The thoroughness of
randomized unit testing varies widely according to the settings of certain parameters, such …
randomized unit testing varies widely according to the settings of certain parameters, such …
Using GUI run-time state as feedback to generate test cases
This paper presents a new automated model-driven technique to generate test cases by
using feedback from the execution of a" seed test suite" on an application under test (AUT) …
using feedback from the execution of a" seed test suite" on an application under test (AUT) …
Automatically generating malicious disks using symbolic execution
Many current systems allow data produced by potentially malicious sources to be mounted
as a file system. File system code must check this data for dangerous values or invariant …
as a file system. File system code must check this data for dangerous values or invariant …
A theory of predicate-complete test coverage and generation
T Ball - International Symposium on Formal Methods for …, 2004 - Springer
Consider a program with m statements and n predicates, where the predicates are derived
from the conditional statements and assertions in a program. An observable state is an …
from the conditional statements and assertions in a program. An observable state is an …