Sciweavers

824 search results - page 72 / 165
» Scaling regression testing to large software systems
Sort
View
AROBOTS
2011
13 years 4 months ago
Setpoint regulation for stochastically interacting robots
— We present an integral feedback controller that regulates the average copy number of a particular assembly in a system of stochastically interacting robots. The mathematical mo...
Nils Napp, Samuel Burden, Eric Klavins
CSMR
2000
IEEE
14 years 1 months ago
Design Properties and Object-Oriented Software Changeability
The assessment of the changeability of software systems is of major concern for buyers of the large systems found in fast-moving domains such as telecommunications. One way of app...
M. Ajmal Chaumun, Hind Kabaili, Rudolf K. Keller, ...
VMCAI
2005
Springer
14 years 2 months ago
Termination of Polynomial Programs
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ï...
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
OOPSLA
2004
Springer
14 years 2 months ago
Chianti: a tool for change impact analysis of java programs
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryd...
ISSTA
2012
ACM
11 years 11 months ago
Swarm testing
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen,...