Analysis of Boolean models using quality assurance methods from software engineering

Proceedings of the IEEE International Conference on Control Applications

Volumn , Issue , 2010, Pages 518-523

  Schlatter, Rebekka ^a   Knies, David ^a   Ederer, Michael ^a   Sawodny, Oliver ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APOPTOSIS; AUTOMATED SEARCHES; BIOLOGICAL EXPERIMENTS; BIOLOGICAL SIGNALS; BOOLEAN MODEL; COMPREHENSIVE MODEL; CONDITION COVERAGE; EXPERIMENTAL MODELS; INFORMATION CONTENTS; LARGE SIZES; LOGICAL MODELING; LOGICAL MODELS; MODEL QUALITIES; QUANTITATIVE INFORMATION; TEST CRITERIA;

BIOLOGICAL SYSTEMS; CELL DEATH; MODELS; QUALITY ASSURANCE; SIGNAL TRANSDUCTION; SOFTWARE ENGINEERING;

QUALITY CONTROL;

EID: 78649397513     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CCA.2010.5611070     Document Type: Conference Paper

References (15)

1. G. Boole, An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities. London: Walten and Maberly, 1854.
2. C. Shannon, "A symbolic analysis of relay and switching circuits, " PhD thesis Massachusetts Institute of Technology Dept of Electrical Engineering, 1940.
3. R. Thomas, and R. D'Ari, Biological Feedback. Boca Raton, FL: CRC Press Inc, 1990.
4. R. Thomas, "Laws for the dynamics of regulatory networks, " Int J Dev Biol, vol. 42, no. 3, pp. 479-485, 1998.
5. R. Schlatter, K. Schmich, I. Avalos Vizcarra, P. Scheurich, T. Sauter, C. Borner, M. Ederer, I. Merfort, and O. Sawodny, "ON/OFF and Beyond - A Boolean Model of Apoptosis, " PLoS Comput Biol, vol. 5, no. 12, pp. e1000595, 2009.
6. R. Samaga, J. Saez-Rodriguez, L. G. Alexopoulos, P. K. Sorger, and S. Klamt, "The logic of EGFR/ErbB signaling: theoretical properties and analysis of high-throughput data, " PLoS Comput Biol, vol. 5, no. 8, pp. e1000438, 2009.
7. J. Saez-Rodriguez, L. Simeoni, J. A. Lindquist, R. Hemenway, U. Bommhardt, B. Arndt, U. U. Haus, R. Weismantel, E. D. Gilles, S. Klamt, and B. Schraven, "A logical model provides insights into T cell receptor signaling, " PLoS Comput Biol, vol. 3, no. 8, pp. e163, 2007.
8. Z. Mai, and H. Liu, "Boolean network-based analysis of the apoptosis network: Irreversible apoptosis and stable surviving, " J Theor Biol, vol. 259, no. 4, pp. 760-769, 2009.
9. V. Devloo, P. Hansen, and M. Labbé, "Identification of all steady states in large networks by logical analysis, " Bull Math Biol, vol. 65, no. 6, pp. 1025-1051, 2003.
10. S. Klamt, J. Saez-Rodriguez, and E. D. Gilles, "Structural and functional analysis of cellular networks with CellNetAnalyzer, " BMC Syst Biol, vol. 1, pp. 2, 2007.
11. S. Klamt, J. Saez-Rodriguez, J. A. Lindquist, L. Simeoni, and E. D. Gilles, "A methodology for the structural and functional analysis of signaling and regulatory networks, " BMC Bioinformatics, vol. 7, pp. 56, 2006.
12. S. Klamt, U. U. Haus, and F. Theis, "Hypergraphs and cellular networks, " PLoS Comput Biol, vol. 5, no. 5, pp. e1000385, 2009.
13. D. Peled, "Software Testing" in Software Reliability Methods Springer Verlag, 2001, pp. 249-278.
14. G. J. Myers, "Black-Box Testing" in The Art of Software Testing, 2nd Ed G. J. Myers, Ed. Wiley-India, 2006, pp. 9-11.
15. J. Saez-Rodriguez, L. G. Alexopoulos, J. Epperlein, R. Samaga, D. A. Lauffenburger, S. Klamt, and P. K. Sorger, "Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction, " Mol Syst Biol, vol. 5, pp. 331, 2009.