194 search results - page 33 / 39 » Automated Behavioral Regression Testing |
78
Voted
IPPS
2008
IEEE
15 years 3 months ago
2008
IEEE
A closed-loop contaminant plume monitoring system is being developed that integrates wireless sensor network based monitoring with numerical models for subsurface plumes. The syst...
104
Voted
SIES
2007
IEEE
15 years 3 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
67
Voted
POLICY
2005
Springer
15 years 3 months ago
2005
Springer
We add a simple policy-based control component to mobile hosts that enables them to control the continuous reception of live multimedia content (e.g. a TV broadcast) while they sw...
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
126
click to vote
PLDI
2011
ACM
14 years 11 days ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...