Sciweavers

824 search results - page 45 / 165
» Scaling regression testing to large software systems
Sort
View
SIGMOD
2011
ACM
222views Database» more  SIGMOD 2011»
12 years 10 months ago
Data generation using declarative constraints
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
Arvind Arasu, Raghav Kaushik, Jian Li
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
14 years 1 days ago
Efficient decision ordering techniques for SAT-based test generation
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
Mingsong Chen, Xiaoke Qin, Prabhat Mishra
ICSE
2009
IEEE-ACM
14 years 2 months ago
Predicting defects in SAP Java code: An experience report
Which components of a large software system are the most defect-prone? In a study on a large SAP Java system, we evaluated and compared a number of defect predictors, based on cod...
Tilman Holschuh, Markus Pauser, Kim Herzig, Thomas...
TOOLS
2000
IEEE
14 years 3 days ago
Algorithmic Analysis of the Impacts of Changes to Object-Oriented Software
The research presented here addresses the problem of change impact analysis CIA for object-oriented software. A major problem for developers in an evolutionary environment is th...
Michelle Lee, A. Jefferson Offutt, Roger T. Alexan...
HICSS
2007
IEEE
144views Biometrics» more  HICSS 2007»
14 years 2 months ago
The Indicator Browser: A Web-Based Interface for Visualizing UrbanSim Simulation Results
Abstract— UrbanSim is a large scale land use and transportation simulator that models the possible long-term effects of different policies on urban regions. The output is present...
Yael Schwartzman, Alan Borning