1. Static analysis of programs with imprecise probabilistic inputs;Adje,2014
2. A practical guide for using statistical tests to assess randomized algorithms in software engineering;Arcuri,2011
3. A configurable test architecture for the automatic validation of variability-intensive cyber-physical systems;Arrieta,2014
4. Test control algorithms for the validation of cyber-physical systems product lines;Arrieta,2015
5. Managing Uncertainty in Engineering Design Using Imprecise Probabilities and Principles of Information Economics;Aughenbaugh,2006