@article {12752,
	title = {A generic approach to simultaneous tracking and verification in video},
	journal = {Image Processing, IEEE Transactions on},
	volume = {11},
	year = {2002},
	month = {2002/05//},
	pages = {530 - 544},
	abstract = {A generic approach to simultaneous tracking and verification in video data is presented. The approach is based on posterior density estimation using sequential Monte Carlo methods. Visual tracking, which is in essence a temporal correspondence problem, is solved through probability density propagation, with the density being defined over a proper state space characterizing the object configuration. Verification is realized through hypothesis testing using the estimated posterior density. In its most basic form, verification can be performed as follows. Given a measurement vector Z and two hypotheses H<sub>1</sub> and H0, we first estimate posterior probabilities P(H<sub>0</sub>|Z) and P(H<sub>1</sub>|Z), and then choose the one with the larger posterior probability as the true hypothesis. Several applications of the approach are illustrated by experiments devised to evaluate its performance. The idea is first tested on synthetic data, and then experiments with real video sequences are presented, illustrating vehicle tracking and verification, human (face) tracking and verification, facial feature tracking, and image sequence stabilization.},
	keywords = {approach;, Carlo, configuration;, correspondence, data;, density, density;, estimated, estimation;, evaluation;, extraction;, Face, facial, feature, generic, human, hypothesis, image, measurement, methods;, Monte, object, performance, posterior, probability, probability;, problem;, processing;, propagation;, recognition;, road, sequence, sequences;, sequential, signal, space;, stabilization;, state, synthetic, temporal, testing;, tracking;, vector;, vehicle, vehicles;, verification;, video, visual},
	isbn = {1057-7149},
	doi = {10.1109/TIP.2002.1006400},
	author = {Li,Baoxin and Chellapa, Rama}
}
@article {12121,
	title = {An operational process for goal-driven definition of measures},
	journal = {Software Engineering, IEEE Transactions on},
	volume = {28},
	year = {2002},
	month = {2002/12//},
	pages = {1106 - 1125},
	abstract = {We propose an approach (GOM/MEDEA) for defining measures of product attributes in software engineering. The approach is driven by the experimental goals of measurement, expressed via the GQM paradigm, and a set of empirical hypotheses. To make the empirical hypotheses quantitatively verifiable, GQM/MEDEA supports the definition of theoretically valid measures for the attributes of interest based on their expected mathematical properties. The empirical hypotheses are subject to experimental verification. This approach integrates several research contributions from the literature into a consistent, practical, and rigorous approach.},
	keywords = {attributes;, definition;, development, empirical, engineering;, expected, experimental, goal-driven, GQM, GQM/MEDEA;, hypotheses;, management;, mathematical, measure, measurement;, metrics;, operational, paradigm;, process;, Product, properties;, quality;, software, verification;},
	isbn = {0098-5589},
	doi = {10.1109/TSE.2002.1158285},
	author = {Briand,L.C. and Morasca,S. and Basili, Victor R.}
}
@article {18361,
	title = {A functional correctness model of program verification},
	journal = {Computer},
	volume = {23},
	year = {1990},
	month = {1990/11//},
	pages = {30 - 39},
	abstract = {A model whose verification conditions depend only on elementary symbolic execution of a trace table is presented. The method is applied to rather simple programs. However, even in large complex implementations, the techniques can be applied informally to determine the functionality of complex interactions. The technique is easy to learn (it is used in a freshman computer science course) and lends itself to automation.<<ETX>>},
	keywords = {correctness, elementary, execution;functional, model;program, symbolic, table;program, verification;, verification;trace},
	isbn = {0018-9162},
	doi = {10.1109/2.60878},
	author = {Zelkowitz, Marvin V}
}
