Sciweavers

29 search results - page 3 / 6
» Goal-Oriented Test Data Generation for Programs with Pointer...
Sort
View
106
Voted
WCRE
2003
IEEE
15 years 5 months ago
Extracting an Explicitly Data-Parallel Representation of Image-Processing Programs
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
Lewis B. Baumstark Jr., Murat Guler, Linda M. Will...
117
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
Consistency techniques for interprocedural test data generation
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
Nguyen Tran Sy, Yves Deville
101
Voted
ERLANG
2003
ACM
15 years 5 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
100
Voted
GECCO
2005
Springer
132views Optimization» more  GECCO 2005»
15 years 6 months ago
Evolutionary testing of state-based programs
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...
Phil McMinn, Mike Holcombe
85
Voted
ATS
2003
IEEE
112views Hardware» more  ATS 2003»
15 years 5 months ago
Domain Testing Based on Character String Predicate
Domain testing is a well-known software testing technique. Although research tasks have been initiated in domain testing, automatic test data generation based on character string ...
Ruilian Zhao, Michael R. Lyu, Yinghua Min