Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Heuristic-Based Model Refinement for FLAVERS Jianbin Tan, George S. Avrunin, and Lori A. Clarke
 

Summary: Heuristic-Based Model Refinement for FLAVERS
Jianbin Tan, George S. Avrunin, and Lori A. Clarke
Laboratory of Advanced Software Engineering Research
Department of Computer Science
University of Massachusetts
Amherst, Massachusetts 01003, USA
tjb, avrunin, clarke @cs.umass.edu
Abstract
FLAVERS is a finite-state verification approach that al-
lows an analyst to incrementally add constraints to improve
the precision of the model of the system being analyzed. Ex-
cept for trivial systems, however, it is impractical to com-
pute which constraints should be selected to produce pre-
cise results for the least cost. Thus, constraint selection has
been a manual task, guided by the intuition of the analyst.
In this paper, we investigate several heuristics for selecting
task automaton constraints, a kind of constraint that tends
to reduce infeasible task interactions. We describe an ex-
periment showing that one of these heuristics is extremely
effective at improving the precision of the analysis results

  

Source: Avrunin, George S. - Department of Mathematics and Statistics, University of Massachusetts at Amherst

 

Collections: Mathematics