Sciweavers

589 search results - page 49 / 118
» Automated test generation for engineering applications
Sort
View
WPES
2003
ACM
15 years 5 months ago
Privacy preserving database application testing
Traditionally, application software developers carry out their tests on their own local development databases. However, such local databases usually have only a small number of sa...
Xintao Wu, Yongge Wang, Yuliang Zheng
81
Voted
ICSE
2007
IEEE-ACM
16 years 17 days ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
117
Voted
ISSTA
2010
ACM
15 years 4 months ago
Automated fixing of programs with contracts
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
Yi Wei, Yu Pei, Carlo A. Furia, Lucas S. Silva, St...
CGF
2008
120views more  CGF 2008»
15 years 17 days ago
COPERNICUS: Context-Preserving Engine for Route Navigation with Interactive User-modifiable Scaling
In this paper, we present an automated system for generating context-preserving route maps that depict navigation routes as a path between nodes and edges inside a topographic net...
Hartmut Ziegler, Daniel A. Keim
105
Voted
EUROMICRO
2007
IEEE
15 years 2 months ago
Analysis of BPEL Data Dependencies
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
Yongyan Zheng, Jiong Zhou, Paul Krause