Sciweavers

4167 search results - page 1 / 834
» Regression model checking
Sort
View
ICSM
2009
IEEE
13 years 10 months ago
Regression model checking
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
Guowei Yang, Matthew B. Dwyer, Gregg Rothermel
COMPSAC
2004
IEEE
13 years 7 months ago
Generating Regression Tests via Model Checking
Lihua Xu, Marcio S. Dias, Debra J. Richardson
INFORMATICALT
2011
112views more  INFORMATICALT 2011»
12 years 10 months ago
The Minimum Density Power Divergence Approach in Building Robust Regression Models
It is well known that in situations involving the study of large datasets where influential observations or outliers maybe present, regression models based on the Maximum Likeliho...
Alessandra Durio, Ennio Davide Isaia
BIRTHDAY
2003
Springer
13 years 7 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
IJCAI
1997
13 years 5 months ago
Model Minimization, Regression, and Propositional STRIPS Planning
Propositional STRIPS planning problems can be viewed as finite state automata (FSAs) represented in a factored form. Automaton minimization is a well-known technique for reducing ...
Robert Givan, Thomas Dean