Verification of compartmental epidemiological models using metamorphic testing, model checking and visual analytics

Proceedings of the 2012 ASE International Conference on BioMedical Computing, BioMedCom 2012

Volumn , Issue , 2012, Pages 68-73

  Ramanathan, Arvind ^a   Steed, Chad A ^a   Pullum, Laura L ^a  

^a OAK RIDGE NATIONAL LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISEASE CONTROL; VISUALIZATION;

BEHAVIORAL PROPERTIES; COMPARTMENTAL MODEL; EPIDEMIOLOGICAL MODELS; IMPLEMENTATION ERROR; METAMORPHIC TESTING; NOVEL VISUALIZATIONS; VISUAL ANALYTICS; VISUALIZATION FRONT END;

MODEL CHECKING;

EID: 84878693713     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/BioMedCom.2012.18     Document Type: Conference Paper

References (13)

1. R. H. Bordini, M. Fisher, W. Visser, and M. Wooldridge. State-space reduction techniques in agent verification. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'04), pages 896-903. IEEE Computer Society, 2004
2. F. Ciocchetta and J. Hillston. Bio-pepa: a framework for the modelling and analysis of biochemical networks. Theoretical Computer Science, 410((33-34)):3065-3084, 2009
3. F. Ciocchetta and J. Hillston. Bio-pepa for epidemiological models. Electronic Notes in Theoretical Computer Science, 261(0):43-69, 2010
4. Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling (PASM 2009)
5. P. Drabik and G. Scatena. An application of model checking to epidemiology. In P. Milazzo and M. J. Perez Jimenez, editors, Proceedings of Applications of Membrane computing, Concurrency and Agent-based modelling in Population biology (AMCA-POP), pages 90-97, 2010
6. S. Huang. Probabilistic model checking of disease spread and prevention. Master's thesis, Computer Science Department, University of Maryland, 2010
7. Alfred Inselberg. The plane with parallel coordinates. The Visual Computer, 1(4):69-91, 1985
8. Alfred Inselberg. Parallel coordinates: Interactive visualization for high dimensions. In Elen Zudilova-Seinstra, Tony Adriaansen, and Robert van Liere, editors, Trends in Interactive Visualization, pages 49-78. Springer-Verlag, London, UK, 2009
9. M.J. Keeling and P. Rohani. Modeling Infectious Diseases in Humans and Animals. Princeton University Press, 2008
10. Chad A. Steed, Galen Shipman, Peter Thornton, Daniel Ricciuto, David Erickson, and Marcia Branstetter. Practical application of parallel coordinates for climate model analysis. In Proceedings of the International Conference on Computational Science, pages 877-886, 2012
11. Chad A. Steed, T.J. Jankun-Kelly, and Patrick J. Fitzpatrick. Guided analysis of hurricane trends using statistical processes integrated with interactive parallel coordinates. In IEEE Symposium on Visual Analytics Science and Technology, pages 19-26, Atlantic City, NJ, Oct. 2009. IEEE Computer Society
12. Edward J. Wegman. Hyperdimensional data analysis using parallel coordinates. Journal of the American Statistical Association, 85(411):664-675, 1990
13. Z.Q. Zhou, D.H. Huang, T.H. Tse, Z. Yang, H. Huang, and T.Y. Chen. Metamorphic testing and its applications. In Proc. of the 8th International Symposium on Future Software Technology (ISFST 2004), 2004